tree b04f9e0dde0bbef0bc8d6567da85100e20fab1b3
parent d9c1c6fb9815c8bec2a2a21eb7868e3adc63b914
author margaretha <margaretha@ids-mannheim.de> 1753100196 +0200
committer margaretha <margaretha@ids-mannheim.de> 1759749974 +0200

Bump version to 0.80-SNAPSHOT

Change-Id: I0d54461c67013de229e5f75b3531bdaf855144f0