CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/24 11:44:02

Modified files: src/BitSet : BitSet.cc BitSet.defs.hh

Log message: Synchronize with the China development tree.