From 63922a1d1ea22c58be758d188068f33491411c0c Mon Sep 17 00:00:00 2001 From: Adam Stankiewicz Date: Mon, 4 Mar 2019 10:14:37 +0100 Subject: Add idris support, closes #265 --- build | 1 + 1 file changed, 1 insertion(+) (limited to 'build') diff --git a/build b/build index 712d39d0..77f97eb3 100755 --- a/build +++ b/build @@ -196,6 +196,7 @@ PACKS=" haxe:yaymukund/vim-haxe html5:othree/html5.vim i3:mboughaba/i3config.vim + idris:idris-hackers/idris-vim jasmine:glanotte/vim-jasmine javascript:pangloss/vim-javascript:_JAVASCRIPT jenkins:martinda/Jenkinsfile-vim-syntax -- cgit v1.2.3