| Sat, 11 Nov 2023 21:17:45 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 11 Nov 2023 21:08:21 +0100 | wenzelm | more NEWS; | changeset | files |
| Sat, 11 Nov 2023 21:06:54 +0100 | wenzelm | more TODO; | changeset | files |
| Sat, 11 Nov 2023 21:05:41 +0100 | wenzelm | prefer strict test of system options; | changeset | files |
| Sat, 11 Nov 2023 20:43:20 +0100 | wenzelm | some build cluster resources at TUM; | changeset | files |
| 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 |