git.iko.soy/Idris-dev
on master help sign in
added vim ftplugin
9fa4d58raichoo
contribs/tool-support/vim/ftplugin/idris.vimnew file+3
compare with master
unifiedsplit
@@ -0,0 +1,3 @@
1+set shiftwidth=2
2+set tabstop=2
3+set expandtab