diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-07-30 00:02:32 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-07-30 00:02:32 +0100 |
| commit | 959cd92045378442f022859ec019a448fd759713 (patch) | |
| tree | 2d704be860b19f3a4bd469dba9c67cc22ec3dffd /tools/src | |
| parent | 13c6a5c4b02d6436e4197c3ca93a8a5c3112a967 (diff) | |
| parent | 7e0a84c36f57def4ef2096f450160dff9f1d74e8 (diff) | |
Merge #55
55: Add Clippy to CI r=matklad a=phansch
Fixes #19
Co-authored-by: Philipp Hansch <[email protected]>
Diffstat (limited to 'tools/src')
0 files changed, 0 insertions, 0 deletions