summaryrefslogtreecommitdiffstats
path: root/doc/idris2-vim.txt (unfollow)
AgeCommit message (Collapse)AuthorFilesLines
2020-09-06Ignore idris2 doc, fixes #538Adam Stankiewicz1-158/+0
2020-09-05Add support for Idris2, closes #534 (#535)CodingCellist1-3/+3
2020-08-24Include docs of pluginsAdam Stankiewicz1-0/+158