Fixed comment
This commit is contained in:
parent
2182d69151
commit
343aae17cf
1 changed files with 1 additions and 1 deletions
|
@ -12,7 +12,7 @@ Plug 'ms-jpq/coq.thirdparty', {'branch': '3p'}
|
||||||
|
|
||||||
call plug#end()
|
call plug#end()
|
||||||
|
|
||||||
# ----[COQ]----
|
" ----[COQ]----
|
||||||
let g:coq_settings = { 'auto_start': 'shut-up' }
|
let g:coq_settings = { 'auto_start': 'shut-up' }
|
||||||
|
|
||||||
" ----[Look and Feel]----
|
" ----[Look and Feel]----
|
||||||
|
|
Loading…
Reference in a new issue