summaryrefslogtreecommitdiff
path: root/test/aux-fixed/0023.acl2
AgeCommit message (Expand)Author
2006-04-19Add a test for "!acl=" which was missing (and would have picked up a bugPhilip Hazel