Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/mercurial.scala
changeset 66569 1a475e59c70f
parent 66558 37b16f8af351
child 66570 9af879e222cc 
--- a/src/Pure/General/mercurial.scala	Thu Aug 31 09:50:11 2017 +0200
+++ b/src/Pure/General/mercurial.scala	Thu Aug 31 11:15:38 2017 +0200
@@ -90,7 +90,7 @@
     val root =
       ssh match {
         case None => root_path.expand
-        case Some(ssh) => root_path.expand_env(ssh.settings)
+        case Some(ssh) => ssh.expand_path(root_path)
       }
 
     def root_url: String =
isabelle