src/Pure/Tools/scala_project.scala
Thu, 17 Feb 2022 12:22:47 +0100 wenzelm more robust package_dir, to increase chances that it works with IntelliJ IDEA;
less more (0) -30 -10 -1 tip