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

---
 after/ftplugin/idris.vim | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 after/ftplugin/idris.vim

(limited to 'after/ftplugin/idris.vim')

diff --git a/after/ftplugin/idris.vim b/after/ftplugin/idris.vim
new file mode 100644
index 00000000..ce46b796
--- /dev/null
+++ b/after/ftplugin/idris.vim
@@ -0,0 +1,5 @@
+if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'idris') != -1
+  finish
+endif
+
+setlocal iskeyword+='
-- 
cgit v1.2.3