| Fri, 06 Jan 2023 13:09:08 +0100 | wenzelm | proper build parameters (amending d858e6f15da3); | changeset | files |
| Fri, 06 Jan 2023 13:06:03 +0100 | wenzelm | treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions; | changeset | files |
| Fri, 06 Jan 2023 12:05:32 +0100 | wenzelm | more command-line options; | changeset | files |