Samuel Tardieu 60a978d2e9 Simplify clippy lints page further (#15208) ... Follow-up of rust-lang/rust-clippy#15140. This time, I removed some unneeded `<span>` wrappings and some unneeded CSS classes. As usual, no changes in the UI. Before this PR: 1876091 With this PR: 1751097 Reduction: -6.6% r? @samueltardieu changelog: Reduce page size and number of DOM elements on clippy lints page		2025-07-04 12:54:02 +00:00
..
etc	remove non-existent pathspec from pre-commit hook	2025-04-23 00:47:43 +02:00
gh-pages	Simplify clippy lints page further	2025-07-04 13:57:38 +02:00
fetch_prs_between.sh	Merge commit 'd9c24d1b1e' into clippyup	2023-07-17 10:22:32 +02:00
versions.py	Lint docs: Sort versions, so that stable comes first	2025-06-26 19:59:04 +02:00