removed junk;
authorwenzelm
Wed, 03 Nov 2021 00:11:12 +0100
changeset 75050 f1c53e78d0f0
parent 75048 4c508826fee8
child 75051 a755733c1eb5
removed junk;
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>"""
   }