Update git config

[rbdr/dotfiles] / config / nvim / init.lua

diff --git a/config/nvim/init.lua b/config/nvim/init.lua
index e3e64279da2e97b36dec22cda757c29e74f31a44..26b7156b14ca1eeecae4995a5bfdbcf7e99a9d31 100644 (file)
--- a/config/nvim/init.lua
+++ b/config/nvim/init.lua
@@ -84,6 +84,16 @@ vim.keymap.set("n", "<c-P>",
 -- Svelte Config
 vim.g.vim_svelte_plugin_use_typescript = true
 
 -- Svelte Config
 vim.g.vim_svelte_plugin_use_typescript = true
 

+-- Coq
+vim.g.coq_settings = {
+  auto_start = 'shut-up',
+  clients = {
+    snippets = {
+      warn = {}
+    }
+  }
+}
+

 -- Plugins
 require('plugins')
 require('treesitter_config')
 -- Plugins
 require('plugins')
 require('treesitter_config')