Don't start coq by default

2025-09-19 20:43:28 -04:00
parent 1781b12fe0
commit 2b3c07474a
1 changed files with 0 additions and 1 deletions
--- a/config.nix
+++ b/config.nix
@@ -137,7 +137,6 @@
    coq-nvim = {
      enable = true;
      installArtifacts = true;
-      settings.auto_start = "shut-up";

      luaConfig.post = ''
        vim.g.coq_settings = {