| Sat, 11 Nov 2023 20:13:23 +0100 | wenzelm | build cluster host specifications are based on registry entries (table prefix "host"); | changeset | files |
| Sat, 11 Nov 2023 20:08:20 +0100 | wenzelm | more robust init; | changeset | files |
| Sat, 11 Nov 2023 20:01:14 +0100 | wenzelm | clarified signature: more operations; | changeset | files |