Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed junk;
authorwenzelm
Wed, 03 Nov 2021 00:11:12 +0100
changeset 74659 f1c53e78d0f0
parent 74658 4c508826fee8
child 74660 a755733c1eb5
removed junk;
src/Pure/Tools/scala_project.scala file | annotate | diff | comparison | revisions 
--- 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>"""
   }
isabelle