diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 17:01:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 17:01:14 +0000 |
| commit | feaf7c5c1478445ac701a5fd61d841aff0bd4464 (patch) | |
| tree | 592e7f0ee8dfabc3bc954f656dcfd60f9c462751 /acl2/README | |
| parent | d9fd06db0fed8a8dbf71b9e48cb747207f03ebcf (diff) | |
Set version tag for new release.
Diffstat (limited to 'acl2/README')
0 files changed, 0 insertions, 0 deletions