diff options
| author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2021-02-12 13:00:19 +0200 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2021-02-16 12:30:39 +0200 |
| commit | 0e2ca7256bbd6b042d10061c3bce50b669eb9fb7 (patch) | |
| tree | 672509f62ae23a59864011b6d7948ff7a5141f10 /Documentation/theme/footer.html | |
| parent | d86d9592a1765d66f5e2a5d0bba7ed1490e742e0 (diff) | |
utils: checkstyle.py: Handle renamed files in header add checker
The header add checker only handles added header, which makes it miss
issues when a header is renamed. Fix it.
Fixes: 8fffab46b80f ("utils: checkstyle.py: Add header add checker")
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'Documentation/theme/footer.html')
0 files changed, 0 insertions, 0 deletions