HCoop Git - hcoop/domtool2.git/commit - src/plugins/postgres.sml

HCoop / hcoop / domtool2.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 072f12c) | patch

author	Adam Chlipala <adamc@hcoop.net>
	Sun, 24 Jun 2007 21:43:08 +0000 (21:43 +0000)
committer	Adam Chlipala <adamc@hcoop.net>
	Sun, 24 Jun 2007 21:43:08 +0000 (21:43 +0000)
commit	35659203a708078cdec25ff74adbe1e9168934d6
tree	8502bee07ad7de99ddf1ef02bb4faa325374d296	tree \| snapshot (tar.gz zip)
parent	072f12c82089f091932e1e14421986214c93007d	commit \| diff

Adding database dropping to dbtool

14 files changed:

configDefault/apache.cfg		diff \| blob \| blame \| history
configDefault/mysql.cfg		diff \| blob \| blame \| history
configDefault/mysql.csg		diff \| blob \| blame \| history
configDefault/postgres.cfg		diff \| blob \| blame \| history
configDefault/postgres.csg		diff \| blob \| blame \| history
src/dbms.sig		diff \| blob \| blame \| history
src/dbms.sml		diff \| blob \| blame \| history
src/main-dbtool.sml		diff \| blob \| blame \| history
src/main.sig		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history
src/msg.sml		diff \| blob \| blame \| history
src/msgTypes.sml		diff \| blob \| blame \| history
src/plugins/mysql.sml		diff \| blob \| blame \| history
src/plugins/postgres.sml		diff \| blob \| blame \| history

Unnamed repository; edit this file to name it for gitweb.