| Sat, 20 Aug 2022 21:33:51 +0200 | wenzelm | more robust GUI initialization (amending 29441f2bfe81); | changeset | files |
| Sat, 20 Aug 2022 21:14:01 +0200 | wenzelm | clarified signature: just one common operation; | changeset | files |
| Sat, 20 Aug 2022 18:55:48 +0200 | wenzelm | clarified paths and links; | changeset | files |