Tue, 07 Jun 2022 19:15:08 +0200 |
wenzelm |
more robust treatment of rsync on macOS (see also 96fb1f9a4042);
|
file |
diff |
annotate
|
Tue, 07 Jun 2022 17:07:10 +0200 |
wenzelm |
clarified signature: more explicit type Rsync.Context;
|
file |
diff |
annotate
|
Tue, 07 Jun 2022 16:47:57 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 07 Jun 2022 12:32:53 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Jun 2022 20:13:47 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Sun, 05 Jun 2022 19:19:55 +0200 |
wenzelm |
provide .hg_sync meta data;
|
file |
diff |
annotate
|
Wed, 01 Jun 2022 10:10:42 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Tue, 31 May 2022 22:10:48 +0200 |
wenzelm |
clarified signature (again);
|
file |
diff |
annotate
|
Tue, 31 May 2022 16:01:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 31 May 2022 13:14:46 +0200 |
wenzelm |
support explicit SSH port;
|
file |
diff |
annotate
|
Mon, 30 May 2022 22:34:45 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
Mon, 30 May 2022 11:51:34 +0200 |
wenzelm |
clarified option -T;
|
file |
diff |
annotate
|
Mon, 30 May 2022 11:34:25 +0200 |
wenzelm |
preserve jars for quick testing;
|
file |
diff |
annotate
|
Mon, 30 May 2022 11:02:13 +0200 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
Mon, 30 May 2022 10:51:04 +0200 |
wenzelm |
proper anchored pattern;
|
file |
diff |
annotate
|
Mon, 30 May 2022 10:31:56 +0200 |
wenzelm |
support thorough check of file content;
|
file |
diff |
annotate
|
Mon, 30 May 2022 10:15:27 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
Sun, 29 May 2022 23:49:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 29 May 2022 23:47:53 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Sun, 29 May 2022 22:43:31 +0200 |
wenzelm |
support to synchronize Isabelle + AFP repositories;
|
file |
diff |
annotate
|