Skip to content
This repository was archived by the owner on Nov 21, 2019. It is now read-only.

Conversation

@thewilkybarkid
Copy link
Contributor

No description provided.

@thewilkybarkid thewilkybarkid added this to the 0.2.0 milestone Sep 13, 2018
@thewilkybarkid thewilkybarkid added the feature New feature or request label Sep 13, 2018
Copy link

@giorgiosironi giorgiosironi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I found the pylint equivalent useful so far

@thewilkybarkid thewilkybarkid merged commit 472c04e into libero:master Sep 24, 2018
@thewilkybarkid thewilkybarkid deleted the use-unused branch September 24, 2018 06:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants