| Wed, 05 Jun 2024 11:30:26 +0200 | wenzelm | remove unused (see also 04214caeb9ac); | file | diff | annotate |
| Tue, 02 Apr 2024 18:29:14 +0200 | wenzelm | clarified names: discontinue odd convention from 3 decades ago; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |