48e07bc5
63922a1d
1
2
3
if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 setlocal iskeyword+=' endif