| 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 |
| Mon, 06 Mar 2023 16:20:12 +0100 | wenzelm | clarified database content; | changeset | files |
| Mon, 06 Mar 2023 16:06:24 +0100 | wenzelm | tuned: prefer iterator.nextOption; | changeset | files |
| Mon, 06 Mar 2023 15:56:28 +0100 | wenzelm | tuned whitespace and braces; | changeset | files |
| Mon, 06 Mar 2023 15:48:04 +0100 | wenzelm | clarified signature: more uniform operations; | changeset | files |
| Mon, 06 Mar 2023 15:38:50 +0100 | wenzelm | tuned signature: reduce boilerplate; | changeset | files |