From 26a552a74355cba641b08e89e154291312c5f305 Mon Sep 17 00:00:00 2001
From: Silas Schöffel <sils@sils.li>
Date: Thu, 4 Apr 2024 13:33:13 +0200
Subject: nixvim: disable coq-nvim

It's broken, again
---
 users/sils/nixvim/config.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
       };
-- 
cgit 1.4.1