diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:50:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-17 12:50:26 +0000 |
| commit | 65bd9ad4ddb2a7513f551f628e9c63e4ddb6cfed (patch) | |
| tree | 7119524de27a9d094524273d5e712b6b13f74089 /acl2/README | |
| parent | 5a8829c9bbec1af74c86333dc6ba4cc6b5ce19a5 (diff) | |
Fix typo.
Diffstat (limited to 'acl2/README')
0 files changed, 0 insertions, 0 deletions