docker #1

Merged
scriptos merged 3 commits from docker into main 2024-11-27 21:55:27 +00:00

3 Commits

Author SHA1 Message Date
scriptos
3c694185d6 some bug fixes 2024-11-27 22:45:27 +01:00
scriptos
5ee7bbea20 Further bug fixes 2024-11-27 21:53:36 +01:00
scriptos
c64ab6a99f First tests with the Docker containers 2024-11-27 21:38:00 +01:00