| Tue, 10 Dec 2019 20:38:45 +0100 | wenzelm | proper mysql user setup: avoid superuser powers in production; | changeset | files |
| Tue, 10 Dec 2019 16:45:56 +0100 | wenzelm | support for pwgen; | changeset | files |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | NEWS, CONTRIBUTORS, and documentation | changeset | files |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | an extensive example for lift_bnf across quotients | changeset | files |