Track page header and footer

[hcoop/portal.git] / remind / sources.cm

diff --git a/remind/sources.cm b/remind/sources.cm
index 8fb376b..fb24701 100644 (file)
--- a/remind/sources.cm
+++ b/remind/sources.cm
@@ -1,9 +1,9 @@
 Group is
        $/basis.cm
        $/smlnj-lib.cm
-       /usr/local/share/smlsql/smlsql.cm
-       /usr/local/share/smlsql/libpq/sources.cm
-       /usr/local/share/mlt/src/lib/sources.cm
+       /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/smlsql.cm
+       /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm
+       /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/mlt/src/lib/sources.cm
 
        ../mail.sig
        ../mail.sml