diff options
| author | 2015-10-07 17:51:52 +0100 | |
|---|---|---|
| committer | 2015-10-07 19:13:12 +0100 | |
| commit | e53fb5582f8f6ece5d0ce3b9c0d5b1cdb654b254 (patch) | |
| tree | c2a31c6b7e3a67255ebcb23cb75ed94278222c46 /tools/cpplint.py | |
| parent | 09b1d6f749437bdd47f61e7c4f924f6d16b59536 (diff) | |
Don't remove type checks if we need to perform an access check.
Change-Id: I9b9e07c7524e96ece8dc089c8379631c2f9e3320
Diffstat (limited to 'tools/cpplint.py')
0 files changed, 0 insertions, 0 deletions