summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorAdam Stankiewicz <sheerun@sher.pl>2019-03-04 10:14:37 +0100
committerAdam Stankiewicz <sheerun@sher.pl>2019-03-04 10:14:37 +0100
commit63922a1d1ea22c58be758d188068f33491411c0c (patch)
tree41c1f4b4ee2c35e0d78c59a616cf7423a5a14637 /build
parent0cd0b7f8942a42bf8cb24affb18ac5bedae5aa48 (diff)
downloadvim-polyglot-63922a1d1ea22c58be758d188068f33491411c0c.tar.gz
vim-polyglot-63922a1d1ea22c58be758d188068f33491411c0c.zip
Add idris support, closes #265
Diffstat (limited to 'build')
-rwxr-xr-xbuild1
1 files changed, 1 insertions, 0 deletions
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