summaryrefslogtreecommitdiffstats
path: root/after/ftplugin/idris2.vim (unfollow)
AgeCommit message (Expand)AuthorFilesLines
2020-09-05Add support for Idris2, closes #534 (#535)CodingCellist1-1/+1
2019-09-12Improve guard so it works for no eof new linev4.0.3Adam Stankiewicz1-0/+2
2019-09-06Improve guard to support concatenated filesAdam Stankiewicz1-4/+2
2019-03-04Add idris support, closes #265Adam Stankiewicz1-2/+2
2019-03-04Change plugin guard for disabling, fixes #371Adam Stankiewicz1-4/+4
2015-07-18Allow disabling individual language packsJohn Guidry1-0/+5