Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove obsolete clippy directive (#46)
The feature is just `clippy` now, which recent clippy warns about, breaking ci runs. We don't fail the single-character variable name lint any more, so just remove the directive entirely.
- Loading branch information