edwinb/Idris-dev — pull request #274 by jhenahan (2013-04-08 19:53:08+00:00)
Title: Use 'setlocal' instead of 'set' in idris.vim

Merged pull request at my iris-vim mirror: https://github.com/jhenahan/idris-vim/commit/8aea52f90d116051b4033e86ff804419a4df46b0