Remove ACL entries for users with no permissions
authoradamch <adamch>
Mon, 14 May 2007 00:02:49 +0000 (00:02 +0000)
committeradamch <adamch>
Mon, 14 May 2007 00:02:49 +0000 (00:02 +0000)
commit4c57a1e76eaf14676b9ba56c8f485e457ccc63ad
tree542192b8ca6c381b1d710b8fcb146f5a4dd0919e
parent711bf69f2576c34e5902f140824e01a101a64da7
Remove ACL entries for users with no permissions
src/acl.sml