[hcoop/zz_old/portal.git] / config.sig

signature CONFIG = sig

val scratchDir : string
val urlPrefix : string
val emailSuffix : string
val boardEmail : string
val dbstring : string
val kerberosSuffix : string
val passwordFiles : string

end
Commit	Line	Data
9d313c5f	1	signature CONFIG = sig
	2
	3	val scratchDir : string
	4	val urlPrefix : string
	5	val emailSuffix : string
	6	val boardEmail : string
	7	val dbstring : string
107a3ded	8	val kerberosSuffix : string
cee714e2	9	val passwordFiles : string
9d313c5f	10
9d313c5f	11	end