4 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
julian	0d758adb2d	Move update scripts into hosting directory	2026-06-12 09:19:58 +02:00
julian	19aaa4aeb0	add docker setup for hosting the repo	2025-10-09 21:02:20 +02:00