Join script should rule out retired usernames
[bpt/portal.git] / static /
drwxr-xr-x   ..
-rw-r--r-- 21 .cvsignore
-rw-r--r-- 76 Makefile
-rwxr-xr-x 71 gen.sh
-rw-r--r-- 80 gen.sig
-rw-r--r-- 10421 gen.sml
-rw-r--r-- 139 sources.cm