| Fri, 05 Aug 2022 13:23:52 +0200 | wenzelm | more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log); | changeset | files |
| Thu, 04 Aug 2022 22:15:50 +0200 | wenzelm | clarified context for retrieval: more explicit types, with optional close() operation; | changeset | files |
| Thu, 04 Aug 2022 17:14:56 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Aug 2022 17:08:35 +0200 | wenzelm | unused; | changeset | files |