Adding database dropping to dbtool
[hcoop/domtool2.git] / configDefault / mysql.csg
index 39004ff..71bf9dd 100644 (file)
@@ -3,5 +3,6 @@ signature MYSQL_CONFIG = sig
 val adduser : string
 val passwd : string
 val createdb : string
+val dropdb : string
 
 end