diff options
| author |  Jan Tattermusch <jtattermusch@users.noreply.github.com> | 2017-12-11 16:19:27 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-12-11 16:19:27 -0800 |
| commit | 8face3d49bf0985fd4a3c259f72b26fa9c60e045 (patch) | |
| tree | dcb2648d28d1d6eed3aba5c1b1e58348cea512a1 /src | |
| parent | b2cf1bcba2913ff08ce7848f61e9b2bfa337d806 (diff) | |
| parent | 38466bc00ebbe1c7ed3bfb119fd53e476f904440 (diff) | |
Merge pull request #13700 from jtattermusch/faster_header_check
Speed up sanity's check_sources_and_headers.py
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions