Claudio Atzori a24178cb93 Merge branch 'beta' into resource_types		2023-10-17 11:09:50 +02:00
..
src	Merge branch 'beta' into resource_types	2023-10-17 11:09:50 +02:00
pom.xml	Use scala.binary.version property to resolve scala maven dependencies	2023-07-24 11:13:48 +02:00