diff options
| author | Simon Glass <sjg@chromium.org> | 2021-11-21 20:48:36 -0700 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2022-01-24 16:03:27 -0500 |
| commit | f0198f7f8936682752af2044ada7ef202c17f87a (patch) | |
| tree | 41c6003a4421132c4a75758c8d63c96e16d03eb7 /scripts/pylint.base | |
| parent | 253373d307e62ec6b78132ba9eae481fb748454c (diff) | |
.gitignore: Ignore any html coverage directory
This is created when checking code coverage of Python tools. Ignore it.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'scripts/pylint.base')
0 files changed, 0 insertions, 0 deletions