on master help sign in
Merge pull request #274 from jhenahan/master

Use 'setlocal' instead of 'set' in idris.vim

commit17b9f43012f0a280f0c51a42ccc65fbdc25d9a1e authorEdwin Brady <edwin.brady@gmail.com> dateWed 10 Apr 2013, 01:52 (14 years ago) parent0881704baff441
1 file changed+3−3
contribs/tool-support/vim/ftplugin/idris.vim+3−3
contribs/tool-support/vim/ftplugin/idris.vim+3−3
@@ -1,3 +1,3 @@
1−set shiftwidth=2
2−set tabstop=2
3−set expandtab
1+setlocal shiftwidth=2
2+setlocal tabstop=2
3+setlocal expandtab