Commit graph

10 commits

Author SHA1 Message Date
Eduardo Broto
77da566cc6 Merge commit '645ef505da' into clippyup 2020-10-28 23:36:07 +01:00
Nathan Whitaker
5ac1688f4b Remove lint from clippy 2020-10-26 18:19:48 -04:00
Eduardo Broto
9323443bdd Merge commit 'bf1c6f9871' into clippyup 2020-10-23 22:16:59 +02:00
flip1995
adc7351fb0
Merge commit '3d0b0e66af' into clippyup 2020-08-28 18:43:25 +02:00
flip1995
e4e1b8c6b7
Merge commit 'da5a6fb1b6' into clippyup 2020-07-26 21:07:07 +02:00
flip1995
f82ac4d448
Merge commit '2ca58e7dda' into clippyup 2020-07-14 14:59:59 +02:00
flip1995
a2c0499b39
Merge commit 'c2c07fa9d0' into clippyup 2020-06-23 17:05:22 +02:00
Lzu Tao
41c845efd9 Merge commit 'ff0993c5e9' into clippy 2020-06-09 14:36:01 +00:00
flip1995
873ddf7da0
Merge commit '7ea7cd165a' into clippyup2 2020-05-28 15:45:24 +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