# HG changeset patch
# User wenzelm
# Date 1635894672 -3600
# Node ID f1c53e78d0f0417cf4ffa733a755eca13f57a2bf
# Parent  4c508826fee8d66aa2fa2098a5abc0c6b680906a
removed junk;

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 @@
     </plugins>
   </build>
 
-  "<dependencies>""" + jars.map(dependency).mkString("\n", "\n", "\n") + """</dependencies>
+  <dependencies>""" + jars.map(dependency).mkString("\n", "\n", "\n") + """</dependencies>
 </project>"""
   }