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