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 |
|