Admin/components/ci-extras
author Lars Hupel <lars.hupel@mytum.de>
Tue May 24 22:46:23 2016 +0200 (2016-05-24)
changeset 63143 ef72b104fa32
permissions -rw-r--r--
new Isabelle component for CI infastructure
lars@63143
     1
#components required for the CI infrastructure
lars@63143
     2
ci-extras-1