]> git.r.bdr.sh - rbdr/dotfiles/blobdiff - config/nvim/init.lua
Merge branch 'main' of git.sr.ht:~rbdr/dotfiles
[rbdr/dotfiles] / config / nvim / init.lua
index e3e64279da2e97b36dec22cda757c29e74f31a44..f705d37791bc6415b78f739534ee74c17866544b 100644 (file)
@@ -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')