| Mon, 13 Mar 2023 22:18:22 +0100 | wenzelm | more direct state update; | changeset | files |
| Mon, 13 Mar 2023 22:08:46 +0100 | wenzelm | avoid too many synchronized_database; | changeset | files |
| Mon, 13 Mar 2023 21:43:55 +0100 | wenzelm | tuned output; | changeset | files |
| Mon, 13 Mar 2023 21:12:34 +0100 | wenzelm | synchronize progress messages with database; | changeset | files |
| Mon, 13 Mar 2023 20:24:13 +0100 | wenzelm | more robust SQL query for mandatory arguments; | changeset | files |
| Mon, 13 Mar 2023 20:14:19 +0100 | wenzelm | synchronize progress stop/stopped with database; | changeset | files |
| Mon, 13 Mar 2023 19:04:16 +0100 | wenzelm | more database content; | changeset | files |
| Mon, 13 Mar 2023 18:53:14 +0100 | wenzelm | tuned whitespace; | changeset | files |