src/Pure/Tools/phabricator.scala
changeset 71652 8b0b8b9ea653
parent 71651 760e19aa9b09
child 71764 f2b944898636
equal deleted inserted replaced
71651:760e19aa9b09 71652:8b0b8b9ea653
    61 
    61 
    62   val default_system_port = 22
    62   val default_system_port = 22
    63   val alternative_system_port = 222
    63   val alternative_system_port = 222
    64   val default_server_port = 2222
    64   val default_server_port = 2222
    65 
    65 
    66   val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-2.8.2.tar.gz"
    66   val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-3.9.2.tar.gz"
    67 
    67 
    68 
    68 
    69 
    69 
    70   /** global configuration **/
    70   /** global configuration **/
    71 
    71