HCoop Git - hcoop/zz_old/domtool2-proto.git/commit - src/main.sml

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

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

author	adamch <adamch>
	Thu, 21 Jun 2007 17:40:32 +0000 (17:40 +0000)
committer	adamch <adamch>
	Thu, 21 Jun 2007 17:40:32 +0000 (17:40 +0000)
commit	b4f5896da1029fb458123d3ae3202dd2e7674044
tree	f49f8fb27795e69418cdcce39156ddd2966b3212	tree \| snapshot (tar.gz zip)
parent	d29832ae2cba29ba7b613df32b0902c3ec7abe1b	commit \| diff

domtool-admin regen -tc

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

DomTool: HCoop's distributed system configuration tool.