commit | 836d829599c80eb33fddb701ceaf39f7026a84c6 | [log] [tgz] |
---|---|---|
author | Sam Rawlins <srawlins@google.com> | Tue Jul 23 12:46:50 2019 -0700 |
committer | GitHub <noreply@github.com> | Tue Jul 23 12:46:50 2019 -0700 |
tree | 1e9e0aa5ab82322aea5df5742a77d954dbc5c592 | |
parent | 5de8c93b03630797c71cfabbc02d228a96b49798 [diff] | |
parent | ef189744613ffbce7f852d22ae520687a7cebf4b [diff] |
Merge pull request #46 from srawlins/pedantic Use pedantic lints