diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-13 03:54:27 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-13 03:54:27 -0800 |
| commit | 7a0c86e9fcbccd980eb5d0a94fb0d6d6c1a7b0d6 (patch) | |
| tree | 78bfe5460d29b632332ff896afbb9962415d07f3 /configure | |
| parent | a2a9f3d7379dc1dfb26c22c890cac0cdf67f759c (diff) | |
| download | open-axiom-7a0c86e9fcbccd980eb5d0a94fb0d6d6c1a7b0d6.tar.gz | |
GETDATABASE: Remove dead alternatives.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions