tree f1829bdeb3e365d940c07339018cae1a7a54b545
parent fe94c7029fe909612427ef92784a80a8c46e7b67
author peusterm <manuel.peuster@uni-paderborn.de> 1504783638 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1504783638 +0200

Cleanup for OSM: Removed outdated CI integration scripts.

Signed-off-by: Manuel Peuster <manuel@peuster.de>