summaryrefslogtreecommitdiff
path: root/vendor/gitignore/Idris.gitignore
Commit message (Expand)AuthorAgeFilesLines
* First import of gitignoresZeger-Jan van de Weg2016-05-201-0/+2