diff options
| author | bors <bors@rust-lang.org> | 2017-10-29 23:59:07 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-10-29 23:59:07 +0000 |
| commit | dae686863792bca561a263ecd902e457488c55fc (patch) | |
| tree | 3bd440674cab97ef199b6e791266660d766c0bee /src/libstd/sys/unix/rand.rs | |
| parent | 90ef3372e8ad74517eafa61e9494688c258b15ce (diff) | |
| parent | bf0cdb52f22df2eb6a510806fa32b05ab326a93e (diff) | |
| download | rust-dae686863792bca561a263ecd902e457488c55fc.tar.gz rust-dae686863792bca561a263ecd902e457488c55fc.zip | |
Auto merge of #45424 - petrochenkov:grlint, r=oli-obk
Add several lints into `unused` lint group Also a couple of obsolete (not reported) lints are removed. r? @oli-obk
Diffstat (limited to 'src/libstd/sys/unix/rand.rs')
0 files changed, 0 insertions, 0 deletions