Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] Makes Pylint happier #90

Closed
wants to merge 7 commits into from
Closed

[WIP] Makes Pylint happier #90

wants to merge 7 commits into from

Conversation

jbarnoud
Copy link
Collaborator

No big refactoring, just the trivial fixes.

We are not going to modify the redistributed files, so they should
polute the pylint report.
Fix the messages that do not involve refactoring.
@jbarnoud jbarnoud added the WIP label Jun 19, 2018
@pckroon
Copy link
Member

pckroon commented Jun 27, 2018

Superseded by #92

@pckroon pckroon closed this Jun 27, 2018
@pckroon pckroon deleted the pylint branch June 3, 2020 09:39
@pckroon pckroon restored the pylint branch September 29, 2020 16:03
@pckroon pckroon deleted the pylint branch September 29, 2020 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants