syn

ms-jpq · Sep 5, 2021 · bc0c16b · bc0c16b
1 parent 5ed7364
commit bc0c16b
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/ftdetect/coq-snip.vim b/ftdetect/coq-snip.vim
@@ -0,0 +1 @@
+autocmd BufNewFile,BufRead *.snip set filetype=coq-snip
diff --git a/ftplugin/coq-snip.vim b/ftplugin/coq-snip.vim
@@ -0,0 +1 @@
+set commentstring=#\ %s
diff --git a/syntax/coq-snip.vim b/syntax/coq-snip.vim
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		autocmd BufNewFile,BufRead *.snip set filetype=coq-snip