tree 965c0fbd96aa68d06efc29118b0da72d9ca61ded
parent 65b6714a646aa003099bdfec39165df3134463c2
author margaretha <margaretha@ids-mannheim.de> 1496068383 +0200
committer margaretha <margaretha@ids-mannheim.de> 1496068383 +0200

Ignore a test.

Change-Id: I32beb5b72207ec1032f0afa04f0becfd5470535b