-
Niels Möller authored
* configure.in (gmp_header_found): Changed "no gmp" error message not to refer to a particular version. Rev: configure.in:1.71
844bb025
* configure.in (gmp_header_found): Changed "no gmp" error message not to refer to a particular version. Rev: configure.in:1.71