0000000000000000000000000000000000000000 7a5f003d7f996e9e3a430e48354be4b8fb3bbcbc Jan Möbius <moebius@cs.rwth-aachen.de> 1500294935 +0200	clone: from https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-PropertyVis.git
7a5f003d7f996e9e3a430e48354be4b8fb3bbcbc 7a5f003d7f996e9e3a430e48354be4b8fb3bbcbc Jan Möbius <moebius@cs.rwth-aachen.de> 1500294960 +0200	checkout: moving from master to 7a5f003d7f996e9e3a430e48354be4b8fb3bbcbc
