diff options
Diffstat (limited to 'indent/idris2.vim')
| -rw-r--r-- | indent/idris2.vim | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/indent/idris2.vim b/indent/idris2.vim index 83995423..0870c3b8 100644 --- a/indent/idris2.vim +++ b/indent/idris2.vim @@ -1,3 +1,8 @@ +let files = filter(globpath(&rtp, 'indent/idris2.vim', 1, 1), { _, v -> v !~ "vim-polyglot" && v !~ $VIMRUNTIME && v !~ "after" }) +if len(files) > 0 + exec 'source ' . files[0] + finish +endif if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris2') == -1 " indentation for idris (idris-lang.org) |