Commit graph

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