Bert van der Weerd eca9b131f7 docker builds seem to work completely for the first time now		2021-10-06 15:43:21 +02:00
..
deb	docker builds seem to work completely for the first time now	2021-10-06 15:43:21 +02:00
.gitignore	renamed debian to debian11 (bullseye)	2021-10-04 09:32:03 +02:00
Dockerfile	renamed debian to debian11 (bullseye)	2021-10-04 09:32:03 +02:00
Makefile	improved docker builds and removed default-browser-agent* from the distribution	2021-10-06 12:46:35 +02:00