diff options
| author |  fzaiser <fzaiser@google.com> | 2017-08-31 16:15:02 +0200 |
|---|---|---|
| committer |  Vladimir Moskva <vladmos@google.com> | 2017-08-31 18:28:29 +0200 |
| commit | 9273eac31096574a839cbef2576e6ebeaccef002 (patch) | |
| tree | 1682f8db02b585505b57f9ce2008a9b3e7dcb2b1 /WORKSPACE | |
| parent | 2fb362b93eed96988b8eb5bf19ed8c7608525a34 (diff) | |
Skylint: add a lint that reports unused identifiers
RELNOTES: None
PiperOrigin-RevId: 167134267
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions