commit | d5ef2d61d128f4fff4ef74fe204c57955af3ec01 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Wed Nov 06 21:37:44 2019 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Nov 06 21:37:44 2019 +0000 |
tree | 9f6186a28a834298a9473a89df72dd307f6aa2ff | |
parent | d3d5d5a962603aa0e77f6a838cc57ccd3121e0f5 [diff] | |
parent | 7bf3cd9de8e002e72879b978382d598ef4e4b07a [diff] |
Merge "API Lint: remove obsolete python linter"