xFrednet 322a768c77 Adapting the lint list to Clippy's new metadata format ... Changes included: - Minimum adaption to the new `lints.json` format - Fixing filtering for the new `lints.json` format; hardcoding the lint groups in the index - Recreating the original doc styling for the new format - Fixed sytax highlighting for rust,ignore code blocks - Fixed markdown table extraction in the metadata collector and fixed lint level output - Adding the additional information row for lints - Changed the website title to Clippy's lint list - Flexing the website for mobile users - Added (?) references for lint levels and groups - Making deprecated lints look dead - Removed JS code block language extraction in favor of a rust implementation `rust-clippy#7352` - Added the suspicious lint group to the lint list - Remove trailing whitespaces from index.html - Fix code highlighting - Use default value if the docVersion is empty Co-authored-by: Philipp Krones <hello@philkrones.com>		2021-07-28 15:03:55 +02:00
..
index.html	Adapting the lint list to Clippy's new metadata format	2021-07-28 15:03:55 +02:00
versions.html	Also deploy from the beta branch	2020-03-25 20:20:54 +01:00