commit | 767636010074a5f2089a8832a65c1f588b6d0adb | [log] [tgz] |
---|---|---|
author | Tim 'mithro' Ansell <me@mith.ro> | Thu Jul 02 11:05:08 2020 -0700 |
committer | Tim 'mithro' Ansell <me@mith.ro> | Thu Jul 02 11:05:08 2020 -0700 |
tree | 8009b14272f78b6e076c27264e279d3d0da1f55f | |
parent | a7d2f090f128119d9ff9a95e3d062c0c56e222c9 [diff] |
infra: Improve tool labels. * Reorder the tools section * Add Synopsys PrimeTime as a tool. Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>