| Sat, 25 May 2024 12:09:37 +0200 | wenzelm | clarified signature (see also be0ab4b94c62 and c41791ad75c3); | changeset | files |
| Fri, 24 May 2024 20:23:14 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 24 May 2024 19:15:51 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 24 May 2024 17:31:49 +0200 | wenzelm | tuned names; | changeset | files |
| Fri, 24 May 2024 17:14:02 +0200 | wenzelm | proper SSH.System operation; | changeset | files |
| Fri, 24 May 2024 17:06:57 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 24 May 2024 16:15:27 +0200 | wenzelm | more uniform/robust detect_repository/is_repository: actually check hg root; | changeset | files |
| Fri, 24 May 2024 15:55:34 +0200 | wenzelm | more uniform local/remote operations; | changeset | files |