Don't look for GMP header files
authorIvo Timmermans <ivo@lychnis.net>
Fri, 13 Oct 2000 23:34:56 +0000 (23:34 +0000)
committerIvo Timmermans <ivo@lychnis.net>
Fri, 13 Oct 2000 23:34:56 +0000 (23:34 +0000)
commit6a8c2e346e6125e58aab428e6730c18a949abe12
tree74f402654aedcf3b041eb983d1603f850b6045dd
parentf18e30dab3c208fd353af11e365791035534f444
Don't look for GMP header files
configure.in