aboutsummaryrefslogtreecommitdiff
path: root/src/input/de2re.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-08-13 23:32:01 +0000
committerdos-reis <gdr@axiomatics.org>2010-08-13 23:32:01 +0000
commit21dae51d675169c95cbea20bde6b3fa010899931 (patch)
treef2eee3b175a794f737a2d5b0fbe732efe7763c10 /src/input/de2re.input.pamphlet
parent13112984fd32d4684959a923497a9a476981283e (diff)
downloadopen-axiom-21dae51d675169c95cbea20bde6b3fa010899931.tar.gz
* config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro.
* configure.ac.pamphlet: Use it.
Diffstat (limited to 'src/input/de2re.input.pamphlet')
0 files changed, 0 insertions, 0 deletions