| commit | 7cf6ff76d5e12840cc4854ceb049902aae8ba3c5 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Thu Aug 13 11:24:30 2020 +0200 |
| committer | GitHub <noreply@github.com> | Thu Aug 13 11:24:30 2020 +0200 |
| tree | 806ddbbcc28e3da4451c4fe8117da32c2c7e3fa1 | |
| parent | 22b265b9f2a7e399158cf76056674b70be5b027f [diff] | |
| parent | 845e408a551cdf06649b9eb03ecf942f810baa11 [diff] |
Merge pull request #3549 from mpg/check-generated-files-2.7 [Backport 2.7] Add update option to check-generated-files