[PPL-devel] Polyhedra/src Makefile.in Row.defs.hh protect. ...

[Roberto Bagnara]

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

Modified files:
	src            : Makefile.in Row.defs.hh protect.sed restore.sed 

Log message:
	Only formatting changes in Row.defs.hh.
	Remove useless commands in *.sed.