| Sat, 22 Jul 2023 16:01:46 +0200 | wenzelm | more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process; | changeset | files |
| Sat, 22 Jul 2023 13:31:55 +0200 | wenzelm | clarified signature: delegate policies to Build_Cluster implementation, potentially provided by Build.Engine via Build_Process.open_build_cluster; | changeset | files |
| Sat, 22 Jul 2023 12:11:50 +0200 | wenzelm | tuned signature; | changeset | files |