| commit | f07261f56eb001a7e9d82fe293b8ffd17a002d55 | [log] [tgz] |
|---|---|---|
| author | Kevin Moore <kevmoo@google.com> | Fri Feb 14 09:27:43 2020 -0800 |
| committer | Kevin Moore <kevmoo@users.noreply.github.com> | Fri Feb 14 09:53:02 2020 -0800 |
| tree | f26f5c34257dc1ca6f0ffe080ffd049f399ea4da | |
| parent | 10ef1f6b2eb0d880c3dbcce935b6325094659d53 [diff] |
Remove redundant pedantic lints