diff -r 4c508826fee8 -r f1c53e78d0f0 src/Pure/Tools/scala_project.scala --- a/src/Pure/Tools/scala_project.scala Tue Nov 02 16:01:25 2021 +0100 +++ b/src/Pure/Tools/scala_project.scala Wed Nov 03 00:11:12 2021 +0100 @@ -58,7 +58,7 @@ - """" + jars.map(dependency).mkString("\n", "\n", "\n") + """ + """ + jars.map(dependency).mkString("\n", "\n", "\n") + """ """ }