--- a/src/Pure/General/mercurial.scala Tue Sep 13 09:45:02 2022 +0200
+++ b/src/Pure/General/mercurial.scala Tue Sep 13 09:59:08 2022 +0200
@@ -566,7 +566,7 @@
var thorough = false
var dry_run = false
var rev = ""
- var port = SSH.default_port
+ var port = 0
var verbose = false
val getopts = Getopts("""
@@ -582,7 +582,7 @@
-T thorough treatment of file content and directory times
-n no changes: dry-run
-r REV explicit revision (default: state of working directory)
- -p PORT explicit SSH port (default: """ + SSH.default_port + """)
+ -p PORT explicit SSH port
-v verbose
Synchronize Mercurial repository with TARGET directory,