diff options
| author | bors <bors@rust-lang.org> | 2013-06-23 17:40:56 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-06-23 17:40:56 -0700 |
| commit | ac4211ef52a3577f901ed4dc7f370b05ca4e638d (patch) | |
| tree | d2a3dce9cc7c3bdcda7330eadd2de77c61d7db22 /src/libextra/priority_queue.rs | |
| parent | f82756180bec5a8405e1fc6ee1b22949db24861f (diff) | |
| parent | f3966e4a08c17c1610a21e0b343f69369ad0eb31 (diff) | |
| download | rust-ac4211ef52a3577f901ed4dc7f370b05ca4e638d.tar.gz rust-ac4211ef52a3577f901ed4dc7f370b05ca4e638d.zip | |
auto merge of #7279 : hanny24/rust/master, r=msullivan
This commit adds filtered method for Option type. It is not exactly necessary (chain method can be used instead), however I believe that this approach using extra filtered method is more convinient.
Diffstat (limited to 'src/libextra/priority_queue.rs')
0 files changed, 0 insertions, 0 deletions