From 8cc8e0d15717cd6dde12b91bf6e48de4639f4024 Mon Sep 17 00:00:00 2001
From: Silas Schöffel <sils@sils.li>
Date: Tue, 23 Jun 2026 01:50:23 +0200
Subject: coq-nvim: remove auto_start

---
 hm/nixvim/config.nix | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/hm/nixvim/config.nix b/hm/nixvim/config.nix
index 666232b..e6808f0 100644
--- a/hm/nixvim/config.nix
+++ b/hm/nixvim/config.nix
@@ -134,9 +134,6 @@ pkgs: {
     cmp-path.enable = true;
     coq-nvim = {
       enable = false;
-      settings = {
-        auto_start = "shut-up";
-      };
       installArtifacts = true;
     };
     dashboard = {
-- 
cgit v1.3.1