postgres: rename dbms postgres-9.1 to postgres-9
[hcoop/domtool2.git] / configDefault / postgres.csg
1 signature POSTGRES_CONFIG = sig
2
3 val adduser : string
4 val createdb : string
5 val dropdb : string
6
7 val postgres81port : string
8 val postgres9port : string
9 end