HCoop / bpt / portal.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Join script should rule out retired usernames
[bpt/portal.git] / static / gen.sh
CommitLineData
27e48ace 1/usr/local/sml/bin/sml @SMLload=/home/hcoop/portal/static/gen.x86-linux
Unnamed repository; edit this file 'description' to name the repository.