| 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 |