History log of /seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/build/etc/settings
Revision Date Author Comments
# 1f3f7159 11-Jun-2016 Lars Hupel <lars.hupel@mytum.de>

start moving actual Jenkins build scripts into the repository

--HG--
extra : amend_source : ea154b252b7efdf3f21b9d7be5fdb9674d54388f