9 commits

Author	SHA1	Message	Date
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