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.
tuned whitespace;
authorwenzelm
Tue, 07 Jun 2022 19:13:56 +0200
changeset 75535 2bf2cc3aca84
parent 75534 1d937b12204d
child 75536 7cdeed5dc96d
tuned whitespace;
src/Pure/General/mercurial.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/mercurial.scala	Tue Jun 07 17:47:28 2022 +0200
+++ b/src/Pure/General/mercurial.scala	Tue Jun 07 19:13:56 2022 +0200
@@ -307,9 +307,8 @@
         Rsync.init(context, target)
 
         val list =
-          Rsync.exec(context, list = true,
-            args = List("--", Rsync.terminate(target))
-          ).check.out_lines.filterNot(_.endsWith(" ."))
+          Rsync.exec(context, list = true, args = List("--", Rsync.terminate(target)))
+            .check.out_lines.filterNot(_.endsWith(" ."))
         if (list.nonEmpty && !list.exists(_.endsWith(Hg_Sync._NAME))) {
           error("No .hg_sync meta data in " + quote(target))
         }
isabelle