diff options
| author | Philipp Hansch <[email protected]> | 2018-07-29 14:41:54 +0100 |
|---|---|---|
| committer | Philipp Hansch <[email protected]> | 2018-07-29 14:41:54 +0100 |
| commit | 7e0a84c36f57def4ef2096f450160dff9f1d74e8 (patch) | |
| tree | 2d704be860b19f3a4bd469dba9c67cc22ec3dffd /tools | |
| parent | 13c6a5c4b02d6436e4197c3ca93a8a5c3112a967 (diff) | |
Add Clippy to CI
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions