diff options
| author |  fzaiser <fzaiser@google.com> | 2017-10-23 20:07:01 +0200 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-10-24 10:39:43 +0200 |
| commit | 4c9b853023e31d6896ab918c0c6ceb5459f4f92d (patch) | |
| tree | 1346e1cce314747f4eace5d6bbee0888545d6eea /.gitignore | |
| parent | 2ce9844612e120b099369d923e132d6c9c209854 (diff) | |
Skylint: don't report unused variables starting with "unused_"
RELNOTES: none
PiperOrigin-RevId: 173140830
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions