declare isl_gmp_hash
[platform/upstream/isl.git] / autogen.sh
2008-08-07 Sven VerdoolaegeInitial version of the integer set library