diff options
author | Martin Pitt <martin.pitt@ubuntu.com> | 2016-12-02 08:48:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-02 08:48:37 +0100 |
commit | cd66af227416eb7b9f150b92abff4e4a3e92253b (patch) | |
tree | 4f28cd81f19beb8a16aff8dcb93fc7c5dc8216f1 /src/core/.gitignore | |
parent | cd05bb8bafa808f0a40feaaa0e8cc564c0f203a7 (diff) | |
parent | cda39975dc08a613cd7aad74217cc272aff5cc3b (diff) |
Merge pull request #4797 from keszybz/pylint
Python cleanups based on pylint advice
Diffstat (limited to 'src/core/.gitignore')
0 files changed, 0 insertions, 0 deletions