postgres: rename dbms postgres-9.1 to postgres-9
[hcoop/domtool2.git] / configDefault / dbms.cfg
1 structure Dbms :> DBMS_CONFIG = struct
2
3 val dbmsNode = "fritz"
4
5 end