src/Pure/Tools/scala_project.scala
Thu, 07 Jul 2022 16:37:56 +0200 wenzelm tuned;
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
less more (0) -30 -10 -2 tip