tree 35778f0f7ce53e9572bc926bcefee00fb5b6cf33
parent 16b7a153462f8a65d9fdccecb5c3e6123dc83993
author peusterm <manuel.peuster@uni-paderborn.de> 1495024422 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1495024422 +0200

Re-enabled tests to check with fiexed Jenkins