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 7ba0b999..b284e5a9 100644 --- a/src/sources +++ b/src/sources @@ -13,6 +13,9 @@ order.sml errormsg.sig errormsg.sml +print.sig +print.sml + settings.sig settings.sml @@ -31,9 +34,6 @@ postgres.sml mysql.sig mysql.sml -print.sig -print.sml - prim.sig prim.sml |