diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-05 11:36:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-05 11:36:37 +0000 |
| commit | fb3bb6231462cddfb70301ea1672ebc04c8e829a (patch) | |
| tree | 316e516bc5f0920f407fdae6e54780cdbdd320f2 /src/testsuite/interpreter/aw-193.input | |
| parent | 94c6cd6e946964b3710dbe24dbca7c44a36beee0 (diff) | |
| download | open-axiom-fb3bb6231462cddfb70301ea1672ebc04c8e829a.tar.gz | |
more cleanups
Diffstat (limited to 'src/testsuite/interpreter/aw-193.input')
0 files changed, 0 insertions, 0 deletions