still trying to resolve merge conflict

2024-10-12 12:02:36 -04:00
parent df75f0bb24
commit 0dd840f25e
51 changed files with 969 additions and 77 deletions
--- a/pkgs/nixvim/config/plugins/coq.nix
+++ b/pkgs/nixvim/config/plugins/coq.nix
@@ -1,8 +0,0 @@
-{
-	plugins.coq-nvim = {
-		enable = true;	
-		settings = {
-			auto_start = true;
-		};
-	};
-}