2 Commits

Include renames

Author	SHA1	Message	Date
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
julian	c2c2e2d666	Improve docker setup and update scripts	2026-06-12 19:48:20 +02:00