HCoop
/
hcoop
/
domtool2.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
2a7e6e2e05a9ed570da473fe57db854a2164871f
[hcoop/domtool2.git]
/
configDefault
/
dbms.cfg
1
structure Dbms :> DBMS_CONFIG = struct
2
3
val dbmsNode = "fritz"
4
5
end