HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d351d67) | patch
Trusted-path permission checking
authorAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 18:24:53 +0000 (18:24 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 18:24:53 +0000 (18:24 +0000)
commit4d5126e168a9671d01a0b57efcecd08ad68dcfbe
treef1bed0f2f99ff2761306afe56ce5c0ab81487fd6tree | snapshot (tar.gz zip)
parentd351d679283a797c98f5f65d18aa757c18e56305commit | 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
Unnamed repository; edit this file to name it for gitweb.