| commit | 410e0209ae4d558ffe8f81e167bbc8a45f837633 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 07 13:27:18 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 07 13:27:18 2017 +0200 |
| tree | f1829bdeb3e365d940c07339018cae1a7a54b545 | |
| parent | fe94c7029fe909612427ef92784a80a8c46e7b67 [diff] |
Cleanup for OSM: Removed outdated CI integration scripts. Signed-off-by: Manuel Peuster <manuel@peuster.de>