3 Commits

Include renames

Author	SHA1	Message	Date
rrejc	bf57aae4d0	Update batch for pushing docker images now to gitea instead of github	2026-09-10 08:02:17 +02:00
rrejc	64b2121fa1	Bumping up version for Docker containers.	2023-04-14 10:31:44 +02:00
rrejc	89f6c5864e	Include batch files for building Docker images.	2023-01-23 11:17:40 +01:00