4 commits

Author	SHA1	Message	Date
flip1995	d0fb9db648	Merge commit 'cb7915b00c' into clippyup	2021-09-28 18:03:12 +01:00
flip1995	fb311e14d5	Merge commit '6ed6f1e6a1' into clippyup	2021-03-12 15:30:50 +01:00
Eduardo Broto	9323443bdd	Merge commit 'bf1c6f9871' into clippyup	2020-10-23 22:16:59 +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