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 'd9c24d1b1ee61f276e550b967409c9f155eac4e3' 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