Alessio Stalla 0e3e7e9106 Merge branch 'master' into BAEL-16633		2019-10-30 23:09:06 +01:00
..
build.properties	Merge branch 'master' into BAEL-16633	2019-10-30 23:09:06 +01:00
plugins.sbt	Merge branch 'master' into BAEL-16633	2019-10-30 23:09:06 +01:00