diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-04 23:14:46 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-06-04 23:14:46 +0100 |
| commit | 5deb907b4321d8328978d3322b0826b781814452 (patch) | |
| tree | 2baa3b75b1ef62c02617c37ba9b800c41a3dd102 /docs | |
| parent | 8bd0e844247dc28d6ceb24b00f3cc3396bd5bf03 (diff) | |
| parent | aa30c4909ebb1e85f1591f465c9e2875aa4d394e (diff) | |
Merge #1374
1374: Implement `cargo lint` and fix some clippy errors r=alanhdu a=alanhdu
This creates a `cargo lint` command that runs clippy with certain lints disabled. I've also gone ahead and fixed some of the lint errors, although there are many more still to go.
cc #848
Co-authored-by: Alan Du <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions