summaryrefslogtreecommitdiffstats
path: root/after/ftplugin/idris.vim (unfollow)
AgeCommit message (Expand)AuthorFilesLines
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