X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/blobdiff_plain/4c400d943e956bb41907e743b7ea16abe7dbf842..fd61b7b4d8f39738dfe019a4f757606e28f3a4d7:/config/nvim/init.lua?ds=sidebyside

diff --git a/config/nvim/init.lua b/config/nvim/init.lua
index e3e6427..f705d37 100644
--- a/config/nvim/init.lua
+++ b/config/nvim/init.lua
@@ -84,6 +84,9 @@ vim.keymap.set("n", "<c-P>",
 -- Svelte Config
 vim.g.vim_svelte_plugin_use_typescript = true
 
+-- Coq
+vim.g.coq_settings = { auto_start = 'shut-up' }
+
 -- Plugins
 require('plugins')
 require('treesitter_config')