Michael Jerger 9c44bebd5d use the new image_naming		2023-07-14 11:33:01 +02:00
..
dummy	use the new image_naming	2023-07-14 11:33:01 +02:00