HCoop Git - hcoop/zz_old/domtool2-proto.git/commit

HCoop / hcoop / zz_old / domtool2-proto.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8397f72) | patch

author	adamch <adamch>
	Sat, 17 Nov 2007 15:17:42 +0000 (15:17 +0000)
committer	adamch <adamch>
	Sat, 17 Nov 2007 15:17:42 +0000 (15:17 +0000)
commit	313e60f948a1428b1bc3aec47613a32d991e8adb
tree	59faa595504164ec7d344b455bfc2033ac6ffce1	tree \| snapshot (tar.gz zip)
parent	8397f729e10e0c8e06b3cf8ade0ebaf6262e7378	commit \| diff

Adding domain description

src/domain.sig		diff \| blob \| blame \| history
src/domain.sml		diff \| blob \| blame \| history
src/main-admin.sml		diff \| blob \| blame \| history
src/main.sig		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history
src/msg.sml		diff \| blob \| blame \| history
src/msgTypes.sml		diff \| blob \| blame \| history
src/openssl.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.