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