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