jhenahan/idris-vim — pull request #1 by bytbox (2013-04-08 19:43:42+00:00)
Title: use 'setlocal' instead of 'set' in idris.vim

Unsure if I should make this PR here or in Idris-dev. Anyway, this keeps the idris plugin from stepping on the toes of other parts of an editing session.

(My first PR with github's in-browser interface, so I apologies in advance if it's broken.)