From 63922a1d1ea22c58be758d188068f33491411c0c Mon Sep 17 00:00:00 2001
From: Adam Stankiewicz <sheerun@sher.pl>
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