[PPL-devel] Polyhedra/gmp-3.1.1 ansi2knr.c configure.in mk ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/30 20:02:10

Modified files:
	gmp-3.1.1      : ansi2knr.c configure.in mkinstalldirs 
	gmp-3.1.1/tests/rand: findlc.c 

Log message:
	Restore the original version of those GMP files.