diff options
| author |  Vijay Pai <vpai@google.com> | 2017-10-13 09:37:36 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-10-13 09:37:36 -0700 |
| commit | d6fe8e4357c78fc2d8f42fdcf7dffb15206cacd4 (patch) | |
| tree | 7487ff7f51f2fbbcc936b41619767525a131966d /.pylintrc | |
| parent | 4fb5e58b5ac4fb3e887f87b658ac8292425b669e (diff) | |
| parent | 58f38f5435abb9c8a6cc90d8c1a88bae8a580a98 (diff) | |
Merge pull request #12974 from vjpai/use_non_polling
Use uses_polling build flag to reduce # of tests
Diffstat (limited to '.pylintrc')
0 files changed, 0 insertions, 0 deletions