diff options
| author | dimitry <dimitry@google.com> | 2019-03-28 12:43:14 +0100 |
|---|---|---|
| committer | dimitry <dimitry@google.com> | 2019-04-01 13:16:33 +0200 |
| commit | 4b8b849371e8be2951a1b2a9d1f8cad7874e7c29 (patch) | |
| tree | b316b190cda1b0f4a6bb6a66933423b990c2b5aa /libc/kernel/tools/clean_header.py | |
| parent | 8868d9e9004b4fa2d8139abaaff1baa21ea55dab (diff) | |
Fix formatting
Test: make
Change-Id: I92b8893997c2fd75002e84070a3ca91fca4b110e
Diffstat (limited to 'libc/kernel/tools/clean_header.py')
0 files changed, 0 insertions, 0 deletions