diff options
| author | David Aspinall | 2000-09-26 17:22:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-26 17:22:56 +0000 |
| commit | 8e169bfe900a4e02cdb3a40e56d2a8b783280a7a (patch) | |
| tree | 3471c64e730354e4254da04013e579672d0eb778 /acl2/example.acl2 | |
| parent | 4b8252f82b957a33cf8bfaa5df1801b2bfc5c369 (diff) | |
Remove extra space preventing ChangeLog update.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions