diff --git a/.config/nvim/init.vim b/.config/nvim/init.vim index c654d6e..a5d68ac 100644 --- a/.config/nvim/init.vim +++ b/.config/nvim/init.vim @@ -12,6 +12,9 @@ Plug 'ms-jpq/coq.thirdparty', {'branch': '3p'} call plug#end() +# ----[COQ]---- +let g:coq_settings = { 'auto_start': 'shut-up' } + " ----[Look and Feel]---- " Syntax hilighting and line numbers syntax on