diff options
| author | Andreas Grois <andi@grois.info> | 2022-11-04 20:51:12 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2022-11-04 20:51:12 +0100 |
| commit | 36b7ec5ea805196749c7f10f1d8e03ae03564f2b (patch) | |
| tree | 03956189a30c9cce9be403074ab3ce506d629760 /.github/workflows | |
| parent | 344264e03d7635b9bd2688390100d3b9f623c58a (diff) | |
More Clippy lints.
Now Clippy is happy.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions