src/Pure/Tools/scala_project.scala
Tue, 27 Jul 2021 13:12:27 +0200 wenzelm support for native symlinks on Windows;
Sat, 24 Jul 2021 15:38:41 +0200 wenzelm clarified signature;
Sat, 24 Jul 2021 13:09:48 +0200 wenzelm clarified signature;
less more (0) -10 -3 tip