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 /contrib | |
| parent | 8e451b6ece535c7fa55f0dc88ab94b48f03c598c (diff) | |
| download | open-axiom-069c7d86ef4c4047bcd5d20cda1045c9ce35457d.tar.gz | |
Remove reference to PRELET and RELET (#20)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions