- Fixed coq not working

This commit is contained in:
2026-07-22 19:47:24 -04:00
parent 3e2d130d61
commit 5bef0e33e0
2 changed files with 17 additions and 17 deletions

View File

@@ -19,7 +19,7 @@ return {
},
init = function()
vim.g.coq_settings = {
auto_start = 'shut-up', -- if you want to start COQ at startup
--auto_start = 'shut-up', -- if you want to start COQ at startup
-- Your COQ settings here
}
end,