Tip of branch origin/trunk upon surgery

commit from 2015-02-08 14:18:16 +0000
tagged at 2015-03-01 18:29:01 +0100

SVN Path:     http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk
SVN Revision: 5678
SVN UUID:     67feda4a-a26e-11df-9d6e-31afc202ad0c
This tag has no release notes.