Skip to content

Add Clippy checks to Travis-CI.#23

Merged
bors[bot] merged 6 commits intomasterfrom travis-add-clippyDec 21, 2019

Commits

Commits on Dec 21, 2019