Select Git revision
gradlew

Johannes Mey authored
Merge branch 'artifact-evaluation' of git-st.inf.tu-dresden.de:stgroup/trainbenchmark into artifact-evaluation
Merge branch 'artifact-evaluation' of git-st.inf.tu-dresden.de:stgroup/trainbenchmark into artifact-evaluation