projects / osm / vim-emu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b9096e) | patch
Modified CI integration.
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Sep 2017 06:26:42 +0000 (08:26 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Sep 2017 06:26:42 +0000 (08:26 +0200)
commit22649a23c12c810d792c8c9f4f995d003f7e7507
tree9805b70618012b8861ab8bea72ba3bb8f6a27059tree | snapshot
parent5b9096ef3f5f4c9caf56a223cfbddb7e8f445d60commit | diff
Modified CI integration.

Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>
utils/ci/jenkins_entrypoint.sh [deleted file] blob | history