diff options
Diffstat (limited to 'src/sources')
-rw-r--r-- | src/sources | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sources b/src/sources index 5d1f099d..aebe9de6 100644 --- a/src/sources +++ b/src/sources @@ -31,15 +31,15 @@ fastcgi.sml static.sig static.sml +prim.sig +prim.sml + mysql.sig mysql.sml sqlite.sig sqlite.sml -prim.sig -prim.sml - datatype_kind.sml export.sig |