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 /src | |
| parent | ee6bd030bde5c3be107bcad4231befc3813dc2c3 (diff) | |
| download | open-axiom-d9b3cb273671264edcd5fd5fa0acde22a181fd66.tar.gz | |
* config/open-axiom.m4: Don't test for GMP, just yet.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions