| Sat, 11 Mar 2023 11:31:58 +0100 | wenzelm | clarified exported options; | changeset | files |
| Sat, 11 Mar 2023 11:24:02 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 11 Mar 2023 11:14:24 +0100 | wenzelm | do not export connection details (password etc.); | changeset | files |