julian 64b2588dd2 Move docker creation over to devenv ...

This is not ideal, since devenv is more for creating development
environments, but it works

2026-06-13 14:55:37 +02:00

..

deploy-docker.sh

Improve docker setup and update scripts

2026-06-12 19:48:20 +02:00

nginx-http.conf

Move docker creation over to devenv

2026-06-13 14:55:37 +02:00

update.sh

Move docker creation over to devenv

2026-06-13 14:55:37 +02:00