aboutsummaryrefslogtreecommitdiff
path: root/src/mint/plugin_mintdb_common.c
AgeCommit message (Expand)Author
2015-03-28second round of renamefestChristian Grothoff
2015-03-24fix #3728Christian Grothoff
2015-03-24avoid castChristian Grothoff
2015-03-24avoid castChristian Grothoff
2015-03-22fix #3638Christian Grothoff
2015-03-22forgot to add file earlierChristian Grothoff