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.

Sign up for GitHub

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

Jump to bottom

Remove the clippy plugin #121

Merged

achanda merged 2 commits into master from clippy

Jan 18, 2020

Owner

achanda commented Jan 18, 2020

And update instructions to run clippy from cargo

achanda added 2 commits

January 18, 2020 17:39


          Remove the clippy plugin

65bd672

And update instructions to run clippy from cargo


          Drop clippy from dependencies

121820a

achanda merged commit ca1d332 into master

achanda deleted the clippy branch

January 18, 2020 17:47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment