Improved docker stuff

This commit is contained in:
2023-01-09 10:23:06 +01:00
parent 9d4cf5a769
commit 9ff9cc672e
4 changed files with 7 additions and 4 deletions