| 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 |
| Mon, 13 Mar 2023 17:32:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Mar 2023 17:30:43 +0100 | wenzelm | tuned whitespace; | changeset | files |