| Sun, 26 Mar 2023 20:03:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 26 Mar 2023 19:51:35 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 26 Mar 2023 19:36:00 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 26 Mar 2023 19:31:05 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 26 Mar 2023 15:47:40 +0200 | wenzelm | removed junk (amending 236e43c8bb5b); | changeset | files |
| Sun, 26 Mar 2023 15:02:08 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 26 Mar 2023 14:45:28 +0200 | wenzelm | tuned output; | changeset | files |