| Mon, 06 Mar 2023 21:12:47 +0100 | wenzelm | clarified signature: reduce boilerplate; | changeset | files |
| Mon, 06 Mar 2023 19:37:32 +0100 | wenzelm | clarified messages; | changeset | files |
| Mon, 06 Mar 2023 19:18:53 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 06 Mar 2023 19:13:27 +0100 | wenzelm | tuned structure; | changeset | files |
| Mon, 06 Mar 2023 19:09:17 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 06 Mar 2023 18:58:48 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 06 Mar 2023 17:29:00 +0100 | wenzelm | clarified build process roles: "worker" vs. "build"; | changeset | files |