| Sun, 18 Jul 2021 13:41:20 +0200 | wenzelm | discontinued obsolete Apple (deprecated); | file | diff | annotate |
| Fri, 16 Jul 2021 12:59:10 +0200 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Fri, 16 Jul 2021 12:55:02 +0200 | wenzelm | clarified names; | file | diff | annotate | base |