author | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 11:42:48 +0000 (13:42 +0200) | ||
committer | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 11:42:48 +0000 (13:42 +0200) | ||
commit | dd4363bf001a11cfcdb735fdef470a9492f26c7a | |
tree | 71238e6c2ad997253d01db12d64444452828c84d | tree | snapshot |
parent | 7f255b4330c4bb8ca93800729da81ddb028898c5 | commit | diff |
Jenkinsfile | diff | blob | history |