From 692cbbd6ba05c803689d3ecfe6c619b8cc7954fc Mon Sep 17 00:00:00 2001
From: servostar <sven.vogel123@web.de>
Date: Sat, 2 Mar 2024 09:58:41 +0100
Subject: [PATCH] removed coq

---
 lua/plugins/coq.lua | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 lua/plugins/coq.lua

diff --git a/lua/plugins/coq.lua b/lua/plugins/coq.lua
deleted file mode 100644
index 4dbd91d..0000000
--- a/lua/plugins/coq.lua
+++ /dev/null
@@ -1,42 +0,0 @@
-return {
-    {
-        "ms-jpq/coq_nvim",
-        branch =  'coq',
-        build = function(_)
-            vim.cmd("COQdeps")
-        end,
-        config = function(_,_)
-            vim.cmd("COQnow -s")
-        end,
-        init = function(_)
-            vim.g.coq_settings = {
-                display = {
-                    ghost_text = {
-                        enabled = true,
-                        context = { "", "" },
-                        highlight_group = "CursorLineFold"
-                    },
-                    pum = {
-                        fast_close = false,
-                        kind_context = { " ", " " },
-                        source_context = { "", " " },
-                    },
-                    icons = {
-                        spacing = 1,
-                        mode = "short"
-                    },
-                }
-            }
-        end,
-        dependencies = {
-            {
-                'ms-jpq/coq.artifacts',
-                branch = "artifacts"
-            },
-            {
-                "ms-jpq/coq.thirdparty",
-                branch = "3p"
-            }
-        }
-    }
-}