4 commits

Author	SHA1	Message	Date
Philipp Krones	7137a09806	Merge commit '080b587854' into clippyup	2023-08-24 21:32:12 +02:00
Philipp Krones	beb0e731de	Merge commit '37f4c1725d' into clippyup	2023-07-02 14:59:02 +02:00
Philipp Krones	27f2f0a04e	Merge commit 'ac0e10aa68' into clippyup	2022-10-06 09:44:38 +02:00
Oliver Scherer	bce9fae97a	Add 'src/tools/clippy/' from commit 'd2708873ef' ... git-subtree-dir: src/tools/clippy git-subtree-mainline: 06c44816c1 git-subtree-split: d2708873ef	2020-05-02 09:49:00 +02:00