tree 38da845e536b17f48128e01c10afc1fbb284250a
parent 03b828659afc7b1cf9722ef2099cb58b7c91f602
author margaretha <margaretha@ids-mannheim.de> 1532605817 +0200
committer margaretha <margaretha@ids-mannheim.de> 1532605817 +0200

Fixed issue #27.

Change-Id: I8332bd16db791483c41b614f508b49b2b092a257