# HG changeset patch
# User wenzelm
# Date 1654622036 -7200
# Node ID 2bf2cc3aca8451192fa4529ab65c6c571d7bba29
# Parent  1d937b12204d48418f7dd4893f18732823d7b8e5
tuned whitespace;

diff -r 1d937b12204d -r 2bf2cc3aca84 src/Pure/General/mercurial.scala
--- 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))
         }