| Tue, 22 Aug 2023 13:51:06 +0200 | wenzelm | support hosts with shared directory (e.g. NFS); | file | diff | annotate |
| Tue, 22 Aug 2023 10:05:03 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 22 Aug 2023 09:39:37 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 22 Aug 2023 09:28:44 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 21 Aug 2023 15:54:08 +0200 | wenzelm | more robust command options; | file | diff | annotate |
| Thu, 10 Aug 2023 19:51:43 +0200 | wenzelm | removed junk (amending 8cd399b25dac); | file | diff | annotate |
| Thu, 10 Aug 2023 19:42:21 +0200 | wenzelm | more informative error; | file | diff | annotate |