Oliver Smith 861db3cfa8 contrib/jenkins: add script to build in docker ... Related: SYS#6356		2023-05-15 16:08:29 +02:00
..
Dockerfile	contrib/jenkins: add script to build in docker	2023-05-15 16:08:29 +02:00
jenkins.sh	contrib/jenkins: add script to build in docker	2023-05-15 16:08:29 +02:00