summary refs log tree commit diff
path: root/src/tools/clippy/doc/adding_lints.md
AgeCommit message (Expand)AuthorLines
2020-08-11Merge commit '09bd400243ed6f7059fedc0c1623aae3792521d6' into clippyupflip1995-11/+10
2020-05-28Merge commit '7ea7cd165ad6705603852771bf82cc2fd6560db5' into clippyup2flip1995-2/+23
2020-05-02Add 'src/tools/clippy/' from commit 'd2708873ef711ec8ab45df1e984ecf24a96cd369'Oliver Scherer-0/+477
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 22:25:11 +0000