config: warn that changing localRoot will not work currently
[hcoop/domtool2.git] / src / configDefault.sml.footer
... / ...
CommitLineData
1
2end