Claudio Atzori 8172bee8c8 Merge pull request 'Minor fixes' (#496) from beta_fixes_oct into beta ... Reviewed-on: #496		2024-10-25 10:09:56 +02:00
..
src	Merge pull request 'Minor fixes' (#496) from beta_fixes_oct into beta	2024-10-25 10:09:56 +02:00
pom.xml	Use scala.binary.version property to resolve scala maven dependencies	2023-07-24 11:13:48 +02:00