Admin/components/ci-extras
author wenzelm
Sun Oct 09 23:08:40 2016 +0200 (2016-10-09)
changeset 64123 a967b5a07f92
parent 63143 ef72b104fa32
permissions -rw-r--r--
support for SSH in Isabelle/Scala;
lars@63143
     1
#components required for the CI infrastructure
lars@63143
     2
ci-extras-1