Join script should rule out retired usernames
[bpt/portal.git] / static / gen.sig
CommitLineData
27e48ace
AC
1signature GEN =
2sig
3 val main : string * string list -> OS.Process.status
4end