author | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 12:55:07 +0000 (14:55 +0200) | ||
committer | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 13:30:58 +0000 (15:30 +0200) | ||
commit | 0794a1adbc3245fb645ddfb965e64230b22ff2a6 | |
tree | a7b1319f874a4c0672d7252253d3599b8fefbfdd | tree | snapshot |
parent | af04f9735d519cf9aa49f0a1625c59f48c33ba0b | commit | diff |
Jenkinsfile | diff | blob | history |