16 commits

Author	SHA1	Message	Date
ThibsG	629cc4ada3	Update doc generation script	2020-04-09 09:17:41 +02:00
flip1995	a1dc609f21	Fix documentation generation for configurable lints	2020-03-22 18:15:06 +01:00
Andy Russell	fe96ffeac9	move lint documentation into macro invocations	2019-03-05 18:45:08 -05:00
Philipp Hansch	38d4ac7cea	Remove all copyright license headers ... Discussion previously happened in https://github.com/rust-lang/rust/pull/43498	2019-01-08 21:46:39 +01:00
Philipp Hansch	a16edf84ce	Merge pull request #3265 from mikerite/fix-export ... Fix util/export.py to include lints from methods	2018-10-08 07:22:09 +01:00
Manish Goregaokar	23e5e24f52	Add license header to other files	2018-10-06 09:43:08 -07:00
Michael Wright	e5b388d865	Fix util/export.py to include lints from methods	2018-10-05 08:04:14 +02:00
David Vo	9bb68b84ab	lintlib: Use Python 3 compatible print ... Ref: #2882	2018-08-09 17:29:22 +10:00
Dale Wijnand	d95d6516b4	Consistently call it "Clippy", not clippy or rust-clippy ... As per discussion on the Clippy 1.0 RFC	2018-07-05 11:37:50 +01:00
Yusuf Simonson	7de706b34b	Lint for multiple versions of dependencies	2018-04-30 06:20:39 +07:00
flip1995	2a52527a46	Fix lintlib script	2018-03-31 17:53:24 +02:00
Oliver Schneider	d6344c47e3	Categorize all the lints!	2018-03-28 15:24:26 +02:00
flip1995	339d2d5be0	Fix name of configuration parameters in documentation	2018-02-19 16:30:19 +01:00
Oliver Schneider	86d6cec138	Fix the config regex for the wiki generator	2017-08-01 10:33:16 +02:00
Oliver Schneider	db02acd5ed	allow linebreaks in parsed wiki script	2017-01-26 11:28:51 +01:00
Georg Brandl	9a221402e6	Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.	2016-08-07 08:09:26 +02:00