-
Niklas Hambuechen authored
This is a Gen for creating elements that are distinct by a certain property, (e.g. for generating a list of jobs, all of which have different job IDs). Signed-off-by: Niklas Hambuechen <niklash@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
15ccbc02