diff options
| author | Du Huanpeng <[email protected]> | 2022-04-07 17:37:49 +0800 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2022-04-19 14:51:11 -0400 |
| commit | bdf9831226788aaefab820e2feb054eb8f29fa1f (patch) | |
| tree | dd57c57f27e26583f4068c0ab5253a8741cd1841 /include | |
| parent | 9bd89bbd71b12030294210be7c54da4b7cc77f00 (diff) | |
tools: add boot/ to .gitignore
/tools/boot/ is a build product. Add it to .gitignore
Signed-off-by: Du Huanpeng <[email protected]>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions
