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: e2130d9) | patch

author	adamch <adamch>
	Thu, 14 Dec 2006 22:36:49 +0000 (22:36 +0000)
committer	adamch <adamch>
	Thu, 14 Dec 2006 22:36:49 +0000 (22:36 +0000)
commit	d1aa6a218fe8946981c235b45abac2bc7200da00
tree	7d5a1204a77ff842435a65353ea7127d98cc8faf	tree \| snapshot (tar.gz zip)
parent	e2130d9cee8c08d728bafaa00c340582d9231aa1	commit \| diff

Permission revocation

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.