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