author | wenzelm |
Tue, 04 Apr 2017 18:43:47 +0200 | |
changeset 65370 | 1324268c2f6a |
parent 63143 | ef72b104fa32 |
permissions | -rw-r--r-- |
63143
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
#components required for the CI infrastructure |
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
ci-extras-1 |