| Wed, 01 Jul 2020 22:11:30 +0200 | wenzelm | clarified options --- potentially more robust; | changeset | files |
| Wed, 01 Jul 2020 21:14:04 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 27 Jun 2020 11:25:30 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 26 Jun 2020 17:34:34 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |