src/Pure/Tools/scala_project.scala
Tue, 21 Dec 2021 19:31:30 +0100 wenzelm support Gradle as alternative to Maven (again);
less more (0) -30 -10 -1 tip