aboutsummaryrefslogtreecommitdiff
path: root/src/mintdb/mintdb_plugin.c
AgeCommit message (Expand)Author
2015-03-28more rename-fest workChristian Grothoff
2015-03-28second round of renamefestChristian Grothoff