Add [X]HTML5 DTD to header
[hcoop/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
4e2ac985 10val passgenDbstring : string
5bdc0d94 11val statsRoot : string
ff21b0b6 12val staticFilesRoot : string
4e2ac985 13
dda99898 14end