diff options
| author | Seiichi Uchida <seuchida@gmail.com> | 2018-10-19 17:05:33 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 17:05:33 +0900 |
| commit | 7d713a2827d073e0141731d3fea1b06a5fbb2d58 (patch) | |
| tree | 58cf094a821950a73bc7648b80c33254d7ef91f6 /src/string.rs | |
| parent | e633f2b3f530404a6cab0fb9dd4dc351b8e6bc7e (diff) | |
| parent | 8c996331ccce771ea0b005a97262451c7beeddd2 (diff) | |
Merge pull request #3115 from matthiaskrgr/clippy
fix a couple of clippy lint warnings
Diffstat (limited to 'src/string.rs')
0 files changed, 0 insertions, 0 deletions