Join script should rule out retired usernames

[bpt/portal.git] / static / sources.cm

diff --git a/static/sources.cm b/static/sources.cm
index 6ddad86..132faac 100644 (file)
--- a/static/sources.cm
+++ b/static/sources.cm
@@ -1,6 +1,8 @@
 Group is
        $/basis.cm
+       $/smlnj-lib.cm
        /usr/local/share/smlsql/libpq/sources.cm
+       /usr/local/share/mlt/src/lib/sources.cm
 
        gen.sig
        gen.sml