Armin Schrenk be7b265a00 Merge branch 'main' into develop ...

# Conflicts:
#	pom.xml

2023-08-07 10:27:13 +02:00

..

linux

Merge branch 'main' into develop

2023-08-07 10:27:13 +02:00

mac

fix errors in build script

2023-07-25 17:29:34 +02:00

win

Merge branch 'main' into develop

2023-08-07 10:27:13 +02:00