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)

No differences found