src/Pure/General/mercurial.scala
changeset 66569 1a475e59c70f
parent 66558 37b16f8af351
child 66570 9af879e222cc
equal deleted inserted replaced
66566:a14bbbaa628d 66569:1a475e59c70f
    88     hg =>
    88     hg =>
    89 
    89 
    90     val root =
    90     val root =
    91       ssh match {
    91       ssh match {
    92         case None => root_path.expand
    92         case None => root_path.expand
    93         case Some(ssh) => root_path.expand_env(ssh.settings)
    93         case Some(ssh) => ssh.expand_path(root_path)
    94       }
    94       }
    95 
    95 
    96     def root_url: String =
    96     def root_url: String =
    97       ssh match {
    97       ssh match {
    98         case None => root.implode
    98         case None => root.implode