aboutsummaryrefslogtreecommitdiff
path: root/src/mint-tools/Makefile.am
AgeCommit message (Expand)Author
2015-03-28second round of renamefestChristian Grothoff