diff options
| author | 2020-08-05 04:50:59 +0000 | |
|---|---|---|
| committer | 2020-08-05 04:50:59 +0000 | |
| commit | 090c0c9c6ec35f3a78a7d1c1f003d031ff38a029 (patch) | |
| tree | 226ffd42d77ee34cef51b7b78b823608b5563793 /tools/extract_kernel.py | |
| parent | 3443517fcbb245d567d7c87a53852ad4703dde08 (diff) | |
| parent | 57600a4735243f721576abf3a7e4ba393ae73892 (diff) | |
Merge "Delete unused subdirectory."
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions