diff options
| author | Mike Banon <mikebdp2@gmail.com> | 2020-12-13 23:01:56 +0300 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2021-02-07 22:00:23 +0000 |
| commit | f238ead6f17952ceb31d38dfec5efac66a1ef10e (patch) | |
| tree | b854b773c9520c6e468bb26d93b9354975984d23 /util/lint/lint-000-license-headers | |
| parent | 94eea6fe16e2b868f892aafd7c5ed5042dc35c7f (diff) | |
tint: update the archive from 0.04+nmu1 to 0.05
Old archive is not available anymore. The tint sources inside the new
archive are the same (something changed in a debian subdirectory but
we aren't using it), so a libpayload_tint.patch is still valid.
Signed-off-by: Mike Banon <mikebdp2@gmail.com>
Change-Id: If556fac7d1d8379a022f59ed6aee1450b7bc5aa7
Reviewed-on: https://review.coreboot.org/c/coreboot/+/48616
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions