Florian Dold fcfe7e6370 docker-based build instructions		2020-11-25 16:30:31 +01:00
..
Dockerfile	docker-based build instructions	2020-11-25 16:30:31 +01:00
gitbuild.sh	docker-based build instructions	2020-11-25 16:30:31 +01:00