diff options
| author | David Aspinall | 2008-07-19 16:10:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-19 16:10:12 +0000 |
| commit | 5b11bdadb77636e56dbfd632c85d443a8e8fe59d (patch) | |
| tree | e63051e591c7c3f40bfd4ed2e2a89b9267b2d317 /acl2/root2.acl2 | |
| parent | 2d36a06815bcb1868805cf7f03d2573e5ab406ab (diff) | |
Clarify that editing this script is expected
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions