Bert van der Weerd 8cdf2cd8f2 improved docker builds and removed default-browser-agent* from the distribution		2021-10-06 12:46:35 +02:00
..
deb	improved docker builds and removed default-browser-agent* from the distribution	2021-10-06 12:46:35 +02:00
.gitignore	tested mint20 and ubuntu20	2021-10-04 13:34:17 +02:00
Dockerfile	tested mint20 and ubuntu20	2021-10-04 13:34:17 +02:00
Makefile	improved docker builds and removed default-browser-agent* from the distribution	2021-10-06 12:46:35 +02:00