3 lines
70 B
VimL
3 lines
70 B
VimL
let g:coqtail_nosyntax = 1
|
|
let g:coqtail_noindent_comment = 1
|
let g:coqtail_nosyntax = 1
|
|
let g:coqtail_noindent_comment = 1
|