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

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

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

author	adamch <adamch>
	Sun, 1 Jul 2007 21:50:20 +0000 (21:50 +0000)
committer	adamch <adamch>
	Sun, 1 Jul 2007 21:50:20 +0000 (21:50 +0000)
commit	502176f93bc3fee73ec9ad3dfa6149941137ff65
tree	0bb0d54e51e1a076741a86b216cf584912f150d5	tree \| snapshot (tar.gz zip)
parent	ac67146347d6e350a8e200f2d7cce1f843eb0ca4	commit \| diff

Change ~/domtool to ~/.domtool

configDefault/domtool.cfg		diff \| blob \| blame \| history
src/main-client.sml		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.