| Wed, 01 Mar 2023 15:45:58 +0100 | wenzelm | unused; | changeset | files |
| Wed, 01 Mar 2023 15:43:38 +0100 | wenzelm | tuned signature (again); | changeset | files |
| Wed, 01 Mar 2023 15:41:56 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 01 Mar 2023 15:06:54 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 01 Mar 2023 15:04:58 +0100 | wenzelm | proper deps from build_graph, not imports_graph (amending 0c704aba71e3); | changeset | files |
| Wed, 01 Mar 2023 15:01:34 +0100 | wenzelm | misc tuning: more direct access to ancestors, without build_graph; | changeset | files |
| Wed, 01 Mar 2023 14:49:23 +0100 | wenzelm | tuned signature (again); | changeset | files |
| Wed, 01 Mar 2023 14:47:20 +0100 | wenzelm | clarified signature: reduce explicit access to static Sessions.Structure; | changeset | files |