diff options
| author |  Ziv Scully <ziv@mit.edu> | 2015-09-21 16:07:35 -0400 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2015-09-21 16:07:35 -0400 |
| commit | 59c69b0cebc215599acc25906bd0366af03abf0c (patch) | |
| tree | 96d1137305c8cdc032fb3248891cd31f1a0a8284 /src/sources | |
| parent | 287683a7a940849ab734acd4ba7fad3c60b7b5f7 (diff) | |
Factor out urlification.
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sources b/src/sources index e6a361ce..1303b46e 100644 --- a/src/sources +++ b/src/sources @@ -168,8 +168,8 @@ $(SRC)/mono_env.sml $(SRC)/mono_print.sig $(SRC)/mono_print.sml -$(SRC)/mono_fm.sig -$(SRC)/mono_fm.sml +$(SRC)/mono_fooify.sig +$(SRC)/mono_fooify.sml $(SRC)/sql.sig $(SRC)/sql.sml |