MySQL password changing
authorAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:47:03 +0000 (21:47 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 10 Feb 2007 21:47:03 +0000 (21:47 +0000)
commit86aa5de7d9f2754d50489432ffaa43cba3fa170f
treea6363a85026c64d8fb58a358a5aa46fdda9a2b4f
parent6ee7d8effaa01367374de19205359747f5b099e2
MySQL password changing
12 files changed:
configDefault/mysql.cfg
configDefault/mysql.csg
src/dbms.sig
src/dbms.sml
src/main-dbtool.sml
src/main.sig
src/main.sml
src/msg.sml
src/msgTypes.sml
src/plugins/domtool-mysql
src/plugins/mysql.sml
src/plugins/postgres.sml