HCoop
/
hcoop
/
domtool2.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
7d9aecc54d1c895226c7e614f6dfd765960341c4
[hcoop/domtool2.git]
/
configDefault
/
domtool.cfs
1
val configRoot : string
2
(* Root directory for a directory hierarchy corresponding to domain structure,
3
* where each node contains files related to that domain's configuration. *)