tree 8009b14272f78b6e076c27264e279d3d0da1f55f
parent a7d2f090f128119d9ff9a95e3d062c0c56e222c9
author Tim 'mithro' Ansell <me@mith.ro> 1593713108 -0700
committer Tim 'mithro' Ansell <me@mith.ro> 1593713108 -0700

infra: Improve tool labels.

 * Reorder the tools section
 * Add Synopsys PrimeTime as a tool.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>