Join script should rule out retired usernames

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

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