git.iko.soy/Idris-dev
on master help sign in
Merge pull request #274 from jhenahan/master
17b9f43Edwin 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