| Thu, 26 Oct 2023 22:20:22 +0200 | wenzelm | removed obsolete table (see also 6acd1a2bd146); | changeset | files |
| Thu, 26 Oct 2023 22:10:22 +0200 | wenzelm | more robust init_database(); | changeset | files |
| Thu, 26 Oct 2023 16:04:48 +0200 | wenzelm | proper private_data.transaction_lock; | changeset | files |
| Thu, 26 Oct 2023 15:38:27 +0200 | wenzelm | clarified names; | changeset | files |
| Thu, 26 Oct 2023 12:36:19 +0200 | wenzelm | proper support for SSH; | changeset | files |
| Thu, 26 Oct 2023 12:27:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 26 Oct 2023 11:50:50 +0200 | wenzelm | tuned imports; | changeset | files |