diff options
author | Lidi Zheng <scallopsky@gmail.com> | 2018-12-20 11:22:37 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-20 11:22:37 -0800 |
commit | 97453a3d81185c76cc870e732af3c72438e620f0 (patch) | |
tree | 9bb5dacdc87679b7a3f463cbce513bed44a96241 /doc/naming.md | |
parent | b96196f65586ea5832325314adb6f90df07aec51 (diff) | |
parent | dbbb38215847d84f7a5544077024d5a21aed5a8d (diff) |
Merge pull request #17303 from lidizheng/sanity-python-3
Run pylint test in Python 3
Diffstat (limited to 'doc/naming.md')
0 files changed, 0 insertions, 0 deletions