diff options
| author | David Aspinall | 2002-06-08 02:12:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-08 02:12:26 +0000 |
| commit | ea070c9f9c5c9cb99068d2195284a0ff01dc6ee8 (patch) | |
| tree | a6c5c7db9e5c9e697de76cab1931ed54cf990329 /acl2/example.acl2 | |
| parent | 364ef47244efdb3829d888dc741d2e493caec433 (diff) | |
Note about removing dirs
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions