Claudio Atzori 8108491722 Merge branch 'beta' into peer_reviewed		2023-10-06 14:21:52 +02:00
..
src	Merge branch 'beta' into peer_reviewed	2023-10-06 14:21:52 +02:00
pom.xml	Use scala.binary.version property to resolve scala maven dependencies	2023-07-24 11:13:48 +02:00