| Sat, 27 Mar 2021 21:27:27 +0100 | wenzelm | clarified treatment of multiple versions: last one counts; | file | diff | annotate |
| Sat, 27 Mar 2021 20:53:11 +0100 | wenzelm | more robust; | file | diff | annotate |
| Sat, 27 Mar 2021 20:39:14 +0100 | wenzelm | more robust: explicit repository root; | file | diff | annotate |
| Sat, 27 Mar 2021 20:37:49 +0100 | wenzelm | more robust; | file | diff | annotate |
| Sat, 27 Mar 2021 20:24:04 +0100 | wenzelm | more convenient repository setup; | file | diff | annotate |