author | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 14:52:13 +0000 (16:52 +0200) | ||
committer | peusterm <manuel.peuster@uni-paderborn.de> | |
Tue, 1 Oct 2019 14:52:13 +0000 (16:52 +0200) | ||
commit | 1cb6e963396e6d5cc53f087cf7e13611e3e391f4 | |
tree | 583ff27e371db8fcbb5b1705f61a183dc1f3dadc | tree | snapshot |
parent | a45a24c06bd14d3fc9d360d8e1c59654c66b5734 | commit | diff |
Jenkinsfile | diff | blob | history |