diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-10-22 17:00:24 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-10-23 14:21:15 -0700 |
| commit | b6bde885dc276b2fab3dd0b2de98627dcc304026 (patch) | |
| tree | 3670395865e3a7153866f0fc41c95f05303861ce /src/libstd/timer.rs | |
| parent | 84c85496227e1b31f763dfd7e9a82c9b5da52407 (diff) | |
core: Use less code for option dancing that notification channel
Diffstat (limited to 'src/libstd/timer.rs')
0 files changed, 0 insertions, 0 deletions