on master help sign in
added vim ftplugin
commit9fa4d5836104b5fac335998a3080704c14587a1d authorraichoo <raichoo@googlemail.com> dateSun 23 Sep 2012, 22:13 (14 years ago) parente7468a7
1 file changed+3
contribs/tool-support/vim/ftplugin/idris.vim+3
contribs/tool-support/vim/ftplugin/idris.vimnew file+3
@@ -0,0 +1,3 @@
1+set shiftwidth=2
2+set tabstop=2
3+set expandtab