Removed test for gmp and libgmp.
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 19 Dec 2002 13:54:38 +0000 (13:54 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 19 Dec 2002 13:54:38 +0000 (13:54 +0000)
commit22fb80c5e969bb651b11fec1183f59c22bdb1d6c
tree40edcf536acfe3d111cb4fdaccb2e6bb051936a9
parentdbbbca55706f97a96d19d8cfa738575789bc2978
Removed test for gmp and libgmp.

[r572]
configure
configure.in