diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2018-12-07 14:58:11 +0100 |
|---|---|---|
| committer | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-12-07 13:58:11 +0000 |
| commit | a6764ba05fee785186166c0710b08eb2a5ae302c (patch) | |
| tree | a892e58d33619d142a89c874884875a159db94ee /scripts/README.md | |
| parent | cdc22ce76a8b191bfe9dbd1ef55e24ef37ac001d (diff) | |
Use tool lints for clippy allow/deny lint attributes
Diffstat (limited to 'scripts/README.md')
0 files changed, 0 insertions, 0 deletions