summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--users/sils/nixvim/config.nix2
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";
       };