Branch beta_to_master_may2024 was renamed to main.

Claudio Atzori 5816ded93f code formatting		2022-12-20 10:41:40 +01:00
..
src	code formatting	2022-12-20 10:41:40 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2022-04-07 13:32:22 +02:00