| Sun, 02 Jun 2024 14:11:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Mar 2024 16:06:06 +0100 | wenzelm | prefer dynamic objects, following a5fda30edae2; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |