| changeset 74659 | f1c53e78d0f0 |
| parent 74656 | 0659536b150b |
| child 74737 | d912c1b6c1d0 |
--- 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>""" }