Michael Jerger 5ff4a4c9bb refactoring: rename DockerBuild -> Docker		2023-03-14 12:22:05 +01:00
..
architecture	refactoring: rename DockerBuild -> Docker	2023-03-14 12:22:05 +01:00
example	adjust doc to new version	2022-08-19 14:37:37 +02:00
dev_setup.md	dev-setup	2022-03-25 18:17:52 +01:00
releasing.md	fix	2022-08-19 15:10:56 +02:00