diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-23 18:40:12 -0700 |
---|---|---|
committer | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-23 18:40:12 -0700 |
commit | 50b19677e8a323abc641542bb2a957864959bd4b (patch) | |
tree | 77f67aa0168121e29ff147f16f339a24ed866bb4 /src/doc/help/pquit.help | |
parent | 1df8894e0ac79c0f75139cb2701b3595989f8db8 (diff) | |
download | open-axiom-50b19677e8a323abc641542bb2a957864959bd4b.tar.gz |
Update configure.
Diffstat (limited to 'src/doc/help/pquit.help')
0 files changed, 0 insertions, 0 deletions