Pascal Hertleif bbbd0a5475 Adjust HTML Docs ... - Section IDs, with handy anchor links - Multiple filters for levels - Table rendering, block quote size - Nicer loading (hide un-rendered content) - Code highlighting (only for Rust, of course!) - Fix parsing of descriptions that have a newline after the section title (lead to duplicating the title, e.g., "Examples", in the content)		2016-07-14 21:00:20 +02:00
..
gh-pages	Adjust HTML Docs	2016-07-14 21:00:20 +02:00
dogfood.sh	lib: add clippy_pedantic group with all Allow by default lints (fixes #265)	2015-09-01 18:05:28 +02:00
export.py	Adjust HTML Docs	2016-07-14 21:00:20 +02:00
update_lints.py	Ensure the correct clippy_lints dependency version.	2016-05-27 17:22:34 +02:00
update_wiki.py	Include restriction lints in the wiki	2016-06-17 13:21:46 +02:00