diff options
| author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-07-25 05:34:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-25 05:34:34 -0700 |
| commit | 8923631e7aa5945f4f3e8113fbfac1190cd4ae94 (patch) | |
| tree | 77f67aa0168121e29ff147f16f339a24ed866bb4 /src/doc/ps/h-opsearch.ps | |
| parent | 1df8894e0ac79c0f75139cb2701b3595989f8db8 (diff) | |
| parent | 50b19677e8a323abc641542bb2a957864959bd4b (diff) | |
| download | open-axiom-8923631e7aa5945f4f3e8113fbfac1190cd4ae94.tar.gz | |
Merge pull request #9 from GabrielDosReis/gdr/configure-update
Update configure.
Diffstat (limited to 'src/doc/ps/h-opsearch.ps')
0 files changed, 0 insertions, 0 deletions