[hcoop/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

end
Commit	Line	Data
dda99898 AC	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
f660f7dd	8	val kerberosSuffix : string
dda99898 AC	9
dda99898 AC	10	end