diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-27 19:36:39 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-27 19:36:39 -0700 |
commit | 069c7d86ef4c4047bcd5d20cda1045c9ce35457d (patch) | |
tree | 42e16dfe95daa928114e24a296ce9b2e1fb960cc /src/testsuite/interpreter/aw-410.input | |
parent | 8e451b6ece535c7fa55f0dc88ab94b48f03c598c (diff) | |
download | open-axiom-069c7d86ef4c4047bcd5d20cda1045c9ce35457d.tar.gz |
Remove reference to PRELET and RELET (#20)
Diffstat (limited to 'src/testsuite/interpreter/aw-410.input')
0 files changed, 0 insertions, 0 deletions