2 commits

Author	SHA1	Message	Date
Michael Wright	3af09b8cf1	New internal lint: interning_defined_symbol	2020-12-13 06:32:41 +02:00
Matthias Krüger	2838b04487	add internal-lints feature to enable clippys internal lints (off by default)	2020-11-29 21:07:43 +01:00