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