diff options
| author | Marek Barvíř <barvirm@gmail.com> | 2023-04-04 17:10:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-04 17:10:06 +0200 |
| commit | 1a36ce7fa8a26b498fe22958f50f1fb2880bebc4 (patch) | |
| tree | d6b708e43da29d74ee62de55318671c40f29567c /tools | |
| parent | cfc671d82482f8e021fa966a01359abba0f53bd2 (diff) | |
Disable clippy for specific lines (#503)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions