Clemens 3944c28562 adjust calling of generate.sh		2024-03-15 11:01:35 +01:00
..
build	adjust calling of generate.sh	2024-03-15 11:01:35 +01:00