Remove fritz from webNodes, remove mire from slave dns
[hcoop/domtool2.git] / configDefault / dbms.cfg
1 structure Dbms :> DBMS_CONFIG = struct
2
3 val dbmsNode = "fritz"
4
5 end