Add MySQL skeleton

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index f5043b5..44126a3 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -80,6 +80,9 @@ plugins/hcoop.sml
 plugins/postgres.sig
 plugins/postgres.sml
 
 plugins/postgres.sig
 plugins/postgres.sml
 

+plugins/mysql.sig
+plugins/mysql.sml
+

 order.sig
 order.sml
 
 order.sig
 order.sml