summaryrefslogtreecommitdiff
path: root/test/aux-fixed/0023.acl2
Commit message (Expand)AuthorAgeFilesLines
* Add a test for "!acl=" which was missing (and would have picked up a bugPhilip Hazel2006-04-191-0/+2