git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:edwinb/Idris-dev
649330fEdwin Brady
contribs/tool-support/vim/ftplugin/idris.vim+3−3
compare with master
unifiedsplit
@@ -1,3 +1,3 @@
1−set shiftwidth=2
1+setlocal shiftwidth=2
2−set tabstop=2
2+setlocal tabstop=2
3−set expandtab
3+setlocal expandtab