Martin Weinelt 3eb2d5e5ca jenkins: Dockerfile: install docs dependencies		2019-08-13 17:49:47 +02:00
..
jenkins-community-slave	jenkins: Dockerfile: install docs dependencies	2019-08-13 17:49:47 +02:00
minimal-site	Switch to symlinked site.mk, i18n, modules	2019-08-13 17:49:47 +02:00
Jenkinsfile	Jenkinsfile: try out more stages, build docs	2019-08-13 17:49:47 +02:00