1
0
This commit is contained in:
2025-12-20 15:09:11 +01:00
parent a212829857
commit 23d7631277
2 changed files with 3 additions and 1 deletions

View File

@@ -19,7 +19,7 @@ return {
},
init = function()
vim.g.coq_settings = {
auto_start = true, -- 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,