Join script should rule out retired usernames
[bpt/portal.git] / mlt.conf
CommitLineData
208e2cbc
AC
1print real = Util.printReal
2print int = Util.printInt
3
4before before
5after after
6exn exn
7
f49e1088 8out out
ba5de264 9pub /afs/hcoop.net/user/h/hc/hcoop/public_html/cgi-bin/portal
208e2cbc 10
b6e23181 11cm $/smlnj-lib.cm
208e2cbc
AC
12cm /usr/local/share/smlsql/smlsql.cm
13cm /usr/local/share/smlsql/libpq/sources.cm