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