diff options
| author | David Aspinall | 2001-12-11 13:19:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:19:44 +0000 |
| commit | bf56606d11744c6410a0f3004332acd2e52f7810 (patch) | |
| tree | 84b5e36c8590ff60abcbeeee51f1c9100a4e1413 /acl2/example.acl2 | |
| parent | 6c60e195c68a30aab803d72fc216853583624bd3 (diff) | |
Fix test for GNU 21
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions