diff options
Diffstat (limited to 'indent/idris.vim')
| -rw-r--r-- | indent/idris.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indent/idris.vim b/indent/idris.vim index 964f20d7..efdfd7ce 100644 --- a/indent/idris.vim +++ b/indent/idris.vim @@ -1,4 +1,4 @@ -if !has_key(g:polyglot_is_disabled, 'idris') +if has_key(g:polyglot_is_disabled, 'idris') finish endif |