Permission revocation
[hcoop/domtool2.git] / src / configDefault.sml.header
1 (* Default configuration settings *)
2
3 structure ConfigDefault :> CONFIG = struct
4