tree 7bd3e417ac8180da4bdaa4816a652f74c7ccc7fe
parent a5a0ea08373c54e0855efad1dcc83d67ba577943
author peusterm <manuel.peuster@uni-paderborn.de> 1486538613 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1486538613 +0100

Fix: Small change in CI entrypoint to support int tests