8 commits

Author	SHA1	Message	Date
Matthias Krüger	958e2e20de	fix clippy-dev update_lints	2020-11-29 21:07:47 +01:00
flip1995	03f04314dd	clippy: Remove now obsolete lintlist module ... Also stop updating the lintlist module in clippy_dev update_lints	2020-11-24 10:37:31 +01:00
Eduardo Broto	cdb555f4fc	Merge commit 'bf1c6f9871f430e284b17aa44059e0d0395e28a6' into clippyup	2020-10-23 22:16:59 +02:00
flip1995	98c30fea8c	Build lint lists once and the reuse them to update files	2020-04-03 21:19:32 +02:00
flip1995	da679825e0	Get rid of Lint::is_internal method	2020-04-03 21:19:32 +02:00
flip1995	ffb2e41234	Clean up update_lints	2020-04-03 21:18:36 +02:00
flip1995	3155eedb68	Don't use an exact lint counter anymore	2020-03-31 17:24:09 +02:00
flip1995	5de019074b	Move update_lints logic to its own module	2020-03-31 17:24:09 +02:00