| Fri, 18 Feb 2022 16:56:56 +0100 | wenzelm | clarified directory; | changeset | files |
| Fri, 18 Feb 2022 15:07:43 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 18 Feb 2022 14:03:45 +0100 | wenzelm | prefer strict equality, without implicit type conversion; | changeset | files |