-
This is a legacy commit from before 2015-03-01. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. SVN Path: http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk SVN Revision: 4535 SVN UUID: 67feda4a-a26e-11df-9d6e-31afc202ad0c
48678e48