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

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

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

author	adamch <adamch>
	Sun, 25 Feb 2007 18:24:53 +0000 (18:24 +0000)
committer	adamch <adamch>
	Sun, 25 Feb 2007 18:24:53 +0000 (18:24 +0000)
commit	4ee81d539aea2873d8b221c80d47b2d7e9d895d9
tree	f1bed0f2f99ff2761306afe56ce5c0ab81487fd6	tree \| snapshot (tar.gz zip)
parent	891b033cf692bb84c82c2a563cfb0f4a0831bfb3	commit \| diff

Trusted-path permission checking

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/plugins/trustedPath.sig	[new file with mode: 0644]	blob
src/plugins/trustedPath.sml	[new file with mode: 0644]	blob
src/sources		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.