aboutsummaryrefslogtreecommitdiff
path: root/src/mint/.gitignore
AgeCommit message (Expand)Author
2015-01-08-initial import for mintChristian Grothoff