author | wenzelm |
Thu, 31 Aug 2017 11:15:38 +0200 | |
changeset 66569 | 1a475e59c70f |
parent 66558 | 37b16f8af351 |
child 66570 | 9af879e222cc |
permissions | -rw-r--r-- |
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
1 |
/* Title: Pure/General/mercurial.scala |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
2 |
Author: Makarius |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
3 |
|
64280 | 4 |
Support for Mercurial repositories, with local or remote repository clone |
5 |
and working directory (via ssh connection). |
|
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
6 |
*/ |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
7 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
8 |
package isabelle |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
9 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
10 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
11 |
import java.io.{File => JFile} |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
12 |
|
65832
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
13 |
import scala.annotation.tailrec |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
14 |
import scala.collection.mutable |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
15 |
|
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
16 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
17 |
object Mercurial |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
18 |
{ |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
19 |
/* command-line syntax */ |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
20 |
|
63999 | 21 |
def optional(s: String, prefix: String = ""): String = |
64304 | 22 |
if (s == "") "" else " " + prefix + " " + Bash.string(s) |
63999 | 23 |
|
24 |
def opt_flag(flag: String, b: Boolean): String = if (b) " " + flag else "" |
|
25 |
def opt_rev(s: String): String = optional(s, "--rev") |
|
26 |
def opt_template(s: String): String = optional(s, "--template") |
|
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
27 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
28 |
|
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
29 |
/* repository access */ |
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
30 |
|
64330 | 31 |
def is_repository(root: Path, ssh: Option[SSH.Session] = None): Boolean = |
66558
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
32 |
{ |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
33 |
val root_hg = root + Path.explode(".hg") |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
34 |
val root_hg_present = |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
35 |
ssh match { |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
36 |
case None => root_hg.is_dir |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
37 |
case Some(ssh) => ssh.is_dir(root_hg) |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
38 |
} |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
39 |
root_hg_present && new Repository(root, ssh).command("root").ok |
37b16f8af351
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
wenzelm
parents:
66105
diff
changeset
|
40 |
} |
64330 | 41 |
|
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
42 |
def repository(root: Path, ssh: Option[SSH.Session] = None): Repository = |
64168 | 43 |
{ |
44 |
val hg = new Repository(root, ssh) |
|
45 |
hg.command("root").check |
|
46 |
hg |
|
47 |
} |
|
48 |
||
65559 | 49 |
def find_repository(start: Path, ssh: Option[SSH.Session] = None): Option[Repository] = |
50 |
{ |
|
51 |
def find(root: Path): Option[Repository] = |
|
52 |
if (is_repository(root, ssh)) Some(repository(root, ssh = ssh)) |
|
53 |
else if (root.is_root) None |
|
54 |
else find(root + Path.parent) |
|
55 |
||
56 |
ssh match { |
|
57 |
case None => find(start.expand) |
|
58 |
case Some(ssh) => find(ssh.expand_path(start)) |
|
59 |
} |
|
60 |
} |
|
61 |
||
66104 | 62 |
def clone_repository(source: String, root: Path, rev: String = "", options: String = "", |
63 |
ssh: Option[SSH.Session] = None): Repository = |
|
64168 | 64 |
{ |
64230 | 65 |
val hg = new Repository(root, ssh) |
64255 | 66 |
ssh match { |
67 |
case None => Isabelle_System.mkdirs(hg.root.dir) |
|
64256
c3197aeae90b
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
wenzelm
parents:
64255
diff
changeset
|
68 |
case Some(ssh) => ssh.mkdirs(hg.root.dir) |
64255 | 69 |
} |
66104 | 70 |
hg.command("clone", Bash.string(source) + " " + File.bash_path(hg.root) + opt_rev(rev), options) |
71 |
.check |
|
64168 | 72 |
hg |
73 |
} |
|
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
74 |
|
64230 | 75 |
def setup_repository(source: String, root: Path, ssh: Option[SSH.Session] = None): Repository = |
64252
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
76 |
{ |
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
77 |
val present = |
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
78 |
ssh match { |
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
79 |
case None => root.is_dir |
64256
c3197aeae90b
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
wenzelm
parents:
64255
diff
changeset
|
80 |
case Some(ssh) => ssh.is_dir(root) |
64252
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
81 |
} |
64451
cdbfa9f64110
clarified setup_repository: even more uniform pull vs. clone (see also e84cba30d7ff);
wenzelm
parents:
64408
diff
changeset
|
82 |
if (present) { val hg = repository(root, ssh = ssh); hg.pull(remote = source); hg } |
66105
8889aad1ff92
reverted 94cad7590015: does not help much on Windows;
wenzelm
parents:
66104
diff
changeset
|
83 |
else clone_repository(source, root, options = "--noupdate", ssh = ssh) |
64252
e84cba30d7ff
clarified setup_repository: more uniform pull vs. clone, without update;
wenzelm
parents:
64233
diff
changeset
|
84 |
} |
64230 | 85 |
|
86 |
class Repository private[Mercurial](root_path: Path, ssh: Option[SSH.Session]) |
|
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
87 |
{ |
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
88 |
hg => |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
89 |
|
64230 | 90 |
val root = |
91 |
ssh match { |
|
92 |
case None => root_path.expand |
|
66569 | 93 |
case Some(ssh) => ssh.expand_path(root_path) |
64230 | 94 |
} |
95 |
||
64347 | 96 |
def root_url: String = |
97 |
ssh match { |
|
98 |
case None => root.implode |
|
99 |
case Some(ssh) => ssh.hg_url + root.implode |
|
100 |
} |
|
101 |
||
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
102 |
override def toString: String = |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
103 |
ssh match { |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
104 |
case None => root.implode |
64256
c3197aeae90b
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
wenzelm
parents:
64255
diff
changeset
|
105 |
case Some(ssh) => ssh.toString + ":" + root.implode |
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
106 |
} |
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
107 |
|
64168 | 108 |
def command(name: String, args: String = "", options: String = ""): Process_Result = |
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
109 |
{ |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
110 |
val cmdline = |
65825
11f87ab51ddb
more robust command invocation, without defaults from hgrc;
wenzelm
parents:
65822
diff
changeset
|
111 |
"\"${HG:-hg}\" --config " + Bash.string("defaults." + name + "=") + |
64230 | 112 |
(if (name == "clone") "" else " --repository " + File.bash_path(root)) + |
64168 | 113 |
" --noninteractive " + name + " " + options + " " + args |
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
114 |
ssh match { |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
115 |
case None => Isabelle_System.bash(cmdline) |
64256
c3197aeae90b
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
wenzelm
parents:
64255
diff
changeset
|
116 |
case Some(ssh) => ssh.execute(cmdline) |
64167
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
117 |
} |
097d122222f6
support remote repositories via ssh command execution;
wenzelm
parents:
64162
diff
changeset
|
118 |
} |
63999 | 119 |
|
64505 | 120 |
def archive(target: String, rev: String = "", options: String = ""): Unit = |
121 |
hg.command("archive", opt_rev(rev) + " " + Bash.string(target), options).check |
|
122 |
||
63999 | 123 |
def heads(template: String = "{node|short}\n", options: String = ""): List[String] = |
64168 | 124 |
hg.command("heads", opt_template(template), options).check.out_lines |
63999 | 125 |
|
64232
367d83d6030e
clarified hg.id operation, with explicit tip as default;
wenzelm
parents:
64230
diff
changeset
|
126 |
def identify(rev: String = "tip", options: String = ""): String = |
64168 | 127 |
hg.command("id", opt_rev(rev), options).check.out_lines.headOption getOrElse "" |
63998 | 128 |
|
64232
367d83d6030e
clarified hg.id operation, with explicit tip as default;
wenzelm
parents:
64230
diff
changeset
|
129 |
def id(rev: String = "tip"): String = identify(rev, options = "-i") |
367d83d6030e
clarified hg.id operation, with explicit tip as default;
wenzelm
parents:
64230
diff
changeset
|
130 |
|
63998 | 131 |
def manifest(rev: String = "", options: String = ""): List[String] = |
64168 | 132 |
hg.command("manifest", opt_rev(rev), options).check.out_lines |
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
133 |
|
64033 | 134 |
def log(rev: String = "", template: String = "", options: String = ""): String = |
64168 | 135 |
hg.command("log", opt_rev(rev) + opt_template(template), options).check.out |
64027 | 136 |
|
64348
4c253e84ae62
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm
parents:
64347
diff
changeset
|
137 |
def push(remote: String = "", rev: String = "", force: Boolean = false, options: String = "") |
4c253e84ae62
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm
parents:
64347
diff
changeset
|
138 |
{ |
4c253e84ae62
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm
parents:
64347
diff
changeset
|
139 |
hg.command("push", opt_rev(rev) + opt_flag("--force", force) + optional(remote), options). |
64408
50bcf976f276
clarified hg push return code: 1 means "nothing to push";
wenzelm
parents:
64348
diff
changeset
|
140 |
check_rc(rc => rc == 0 | rc == 1) |
64348
4c253e84ae62
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm
parents:
64347
diff
changeset
|
141 |
} |
4c253e84ae62
clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
wenzelm
parents:
64347
diff
changeset
|
142 |
|
63999 | 143 |
def pull(remote: String = "", rev: String = "", options: String = ""): Unit = |
64168 | 144 |
hg.command("pull", opt_rev(rev) + optional(remote), options).check |
63999 | 145 |
|
64168 | 146 |
def update( |
147 |
rev: String = "", clean: Boolean = false, check: Boolean = false, options: String = "") |
|
63999 | 148 |
{ |
64168 | 149 |
hg.command("update", |
150 |
opt_rev(rev) + opt_flag("--clean", clean) + opt_flag("--check", check), options).check |
|
63999 | 151 |
} |
65819
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
152 |
|
65822
17b8528c2f53
clarified notion of known files (before actual commit);
wenzelm
parents:
65819
diff
changeset
|
153 |
def known_files(): List[String] = |
65825
11f87ab51ddb
more robust command invocation, without defaults from hgrc;
wenzelm
parents:
65822
diff
changeset
|
154 |
hg.command("status", options = "--modified --added --clean --no-status").check.out_lines |
65819
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
155 |
|
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
156 |
def graph(): Graph[String, Unit] = |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
157 |
{ |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
158 |
val Node = """^node: (\w{12}) (\w{12}) (\w{12})""".r |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
159 |
val log_result = |
65825
11f87ab51ddb
more robust command invocation, without defaults from hgrc;
wenzelm
parents:
65822
diff
changeset
|
160 |
log(template = """node: {node|short} {p1node|short} {p2node|short}\n""") |
65819
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
161 |
(Graph.string[Unit] /: split_lines(log_result)) { |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
162 |
case (graph, Node(x, y, z)) => |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
163 |
val deps = List(y, z).filterNot(s => s.forall(_ == '0')) |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
164 |
val graph1 = (graph /: (x :: deps))(_.default_node(_, ())) |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
165 |
(graph1 /: deps)({ case (g, dep) => g.add_edge(dep, x) }) |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
166 |
case (graph, _) => graph |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
167 |
} |
ff3dc9325eaa
explore repository structure, with minimal assumptions about "hg log" output;
wenzelm
parents:
65818
diff
changeset
|
168 |
} |
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
169 |
} |
65832
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
170 |
|
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
171 |
|
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
172 |
/* unknown files */ |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
173 |
|
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
174 |
def unknown_files(files: List[Path], ssh: Option[SSH.Session] = None): List[Path] = |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
175 |
{ |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
176 |
val unknown = new mutable.ListBuffer[Path] |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
177 |
|
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
178 |
@tailrec def check(paths: List[Path]) |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
179 |
{ |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
180 |
paths match { |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
181 |
case path :: rest => |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
182 |
find_repository(path, ssh) match { |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
183 |
case None => unknown += path; check(rest) |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
184 |
case Some(hg) => |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
185 |
val known = |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
186 |
hg.known_files().iterator.map(name => |
65833 | 187 |
(hg.root + Path.explode(name)).canonical_file).toSet |
188 |
if (!known(path.canonical_file)) unknown += path |
|
189 |
check(rest.filterNot(p => known(p.canonical_file))) |
|
65832
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
190 |
} |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
191 |
case Nil => |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
192 |
} |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
193 |
} |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
194 |
|
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
195 |
check(files) |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
196 |
unknown.toList |
2fb85623c386
implicitly check for unknown files (not part of a Mercurial repository);
wenzelm
parents:
65825
diff
changeset
|
197 |
} |
63997
e11ccb5aa82f
more formal Mercurial support (with the potential to upgrade to command server);
wenzelm
parents:
diff
changeset
|
198 |
} |