diff options
author | dos-reis <gdr@axiomatics.org> | 2011-07-05 16:10:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-07-05 16:10:58 +0000 |
commit | d9b3cb273671264edcd5fd5fa0acde22a181fd66 (patch) | |
tree | fd79831dc81e385094efdff7dc918a503cc9592f /build-setup.sh | |
parent | ee6bd030bde5c3be107bcad4231befc3813dc2c3 (diff) | |
download | open-axiom-d9b3cb273671264edcd5fd5fa0acde22a181fd66.tar.gz |
* config/open-axiom.m4: Don't test for GMP, just yet.
Diffstat (limited to 'build-setup.sh')
0 files changed, 0 insertions, 0 deletions