Merge pull request #70 from stephen-smith/fix-doc-comments

Remove inferior comments and formatoptions settings.
idris-hackers · May 24, 2017 · 7313823 · 7313823
2 parents 7aeb9fc + 1ceb55d
commit 7313823
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/after/ftplugin/idris.vim b/after/ftplugin/idris.vim
@@ -1,3 +1 @@
-setlocal comments=s1fl:{-,mb:-,ex:-},:--
-" setlocal formatoptions-=cro formatoptions+=j
 setlocal iskeyword+='