HCoop / hcoop / zz_old / domtool2-proto.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Compile-time configuration infrastructure
[hcoop/zz_old/domtool2-proto.git] / src / configDefault.sml.header
CommitLineData
333d26a4 1(* Default configuration settings *)
2
3structure ConfigDefault :> CONFIG = struct
4
DomTool: HCoop's distributed system configuration tool.