diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-11-20 16:05:21 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-22 21:50:24 +0000 |
| commit | 1916d68ee378c41bb60ebe0b67b2b69d6ba1166f (patch) | |
| tree | d56bad33720bc8d38c99cfe13c2d2216e30547c4 /Documentation | |
| parent | d653e491e133df1b9e066a3817396f739e2c5533 (diff) | |
util/release: Convert board IDs into human readable names
Change-Id: Ie323112d27d228849cca7894b9ebd3f4dedd2d9a
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37022
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions