| Fri, 08 Mar 2024 21:15:35 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 08 Mar 2024 20:38:19 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Mar 2024 20:29:05 +0100 | wenzelm | more operations for Build_Log.Meta_Info: prefer explicit types; | changeset | files |
| Fri, 08 Mar 2024 20:28:29 +0100 | wenzelm | more operations for Date and Time; | changeset | files |
| Fri, 08 Mar 2024 20:03:21 +0100 | wenzelm | more accurate patterns --- reverting unused fc3ba0a1c82f; | changeset | files |
| Fri, 08 Mar 2024 19:18:39 +0100 | wenzelm | remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables; | changeset | files |
| Fri, 08 Mar 2024 19:04:18 +0100 | wenzelm | prefer explicit option "build_log_verbose"; | changeset | files |