| commit | 5e8425616c50a58a7c58a4817ee377b8d1acd11d | [log] [tgz] |
|---|---|---|
| author | David Morgan <davidmorgan@google.com> | Thu Sep 27 17:01:41 2018 +0200 |
| committer | GitHub <noreply@github.com> | Thu Sep 27 17:01:41 2018 +0200 |
| tree | dacb42267b352740773bde52d34658d5ccd61d4e | |
| parent | 9a94e8fba3f9b1ed8a88bc60620fa583f93c2000 [diff] | |
| parent | 86326fb4f05a588a7961227bcc65d02744eb57d4 [diff] |
Merge pull request #7 from davidmorgan/update-lints Update lints.