Join script should rule out retired usernames
[bpt/portal.git] / static / sources.cm
1 Group is
2 $/basis.cm
3 $/smlnj-lib.cm
4 /usr/local/share/smlsql/libpq/sources.cm
5 /usr/local/share/mlt/src/lib/sources.cm
6
7 gen.sig
8 gen.sml