0000000000000000000000000000000000000000 bb7b3cc2f3291640c295e1b9f0fc6723e0346169 Jan Möbius <moebius@cs.rwth-aachen.de> 1500294949 +0200	clone: from https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/Type-Sphere.git
bb7b3cc2f3291640c295e1b9f0fc6723e0346169 bb7b3cc2f3291640c295e1b9f0fc6723e0346169 Jan Möbius <moebius@cs.rwth-aachen.de> 1500295002 +0200	checkout: moving from master to bb7b3cc2f3291640c295e1b9f0fc6723e0346169
