mcarton 2cd58e40f0 Improve the coverage script

2016-10-03 17:49:05 +02:00

..

gh-pages

Actually scroll lint panels into view

2016-08-28 21:11:02 +02:00

cov.sh

Improve the coverage script

2016-10-03 17:49:05 +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

Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.

2016-08-07 08:09:26 +02:00

lintlib.py

Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.

2016-08-07 08:09:26 +02:00

update_lints.py

Make lint descriptions short and to the point; always fitting the column "triggers on".

2016-08-07 08:09:26 +02:00

update_wiki.py

Make Python utils more idiomatic, use better names, fix -c mode of update_wiki.

2016-08-07 08:09:26 +02:00