diff options
Diffstat (limited to '')
| -rw-r--r-- | users/sils/nixvim/config.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/users/sils/nixvim/config.nix b/users/sils/nixvim/config.nix index 5820c2a..d9d2250 100644 --- a/users/sils/nixvim/config.nix +++ b/users/sils/nixvim/config.nix @@ -69,7 +69,7 @@ pkgs: { }; }; coq-nvim = { - enable = true; + enable = false; settings = { auto_start = "shut-up"; }; |