Join script should rule out retired usernames
[bpt/portal.git] / config.sig
CommitLineData
dda99898
AC
1signature CONFIG = sig
2
3val scratchDir : string
4val urlPrefix : string
5val emailSuffix : string
6val boardEmail : string
7val dbstring : string
f660f7dd 8val kerberosSuffix : string
688bf30c 9val passwordFiles : string
dda99898 10
4e2ac985
AC
11val passgenDbstring : string
12
dda99898 13end