bors 6f1def79dd Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoo ... Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server		2024-10-11 14:18:54 +00:00
..
src	Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoo	2024-10-11 14:18:54 +00:00
Cargo.toml	Merge commit 'cb806113e0f83a8f9b47d35b453b676543bcc40e' into clippy-subtree-update	2024-08-08 19:13:50 +02:00