adjusted date in vimscripts
commitc3446b2c972f1c26b2716ee7f7e39e13ca98d13a
authorraichoo <raichoo@googlemail.com>
dateWed 31 Oct 2012, 10:55 (14 years ago)
parent2fb2445
contribs/tool-support/vim/indent/idris.vim+1−1
@@ -3,7 +3,7 @@
33" Based on haskell indentation by motemen <motemen@gmail.com>
44"
55" author: raichoo (raichoo@googlemail.com)
6−" date: Oct 19 2012
6+" date: Oct 31 2012
77"
88" Modify g:idris_indent_if and g:idris_indent_case to
99" change indentation for `if'(default 3) and `case'(default 5).
contribs/tool-support/vim/syntax/idris.vim+1−1
@@ -4,7 +4,7 @@
44" highlighter to support idris.
55"
66" author: raichoo (raichoo@googlemail.com)
7−" date: Sep 21 2012
7+" date: Oct 31 2012
88
99syn match idrisModule "\<\(module\|namespace\)\>"
1010syn match idrisImport "\<import\>"