diff options
| author | Brian Anderson <andersrb@gmail.com> | 2012-12-31 21:51:45 -0800 |
|---|---|---|
| committer | Brian Anderson <andersrb@gmail.com> | 2012-12-31 21:51:45 -0800 |
| commit | 84a37a38593f3ee51adf2b1d064819ee399941cc (patch) | |
| tree | 34a83ac7a0cc9f0df061c876d8e537bd90b241dd /src/rt/rust_kernel.cpp | |
| parent | 08d9c5be2f75bd034ca3e820fdad8e202b321307 (diff) | |
| parent | e08f304b81c845f53275e34b8db26a1ac47e72d3 (diff) | |
| download | rust-84a37a38593f3ee51adf2b1d064819ee399941cc.tar.gz rust-84a37a38593f3ee51adf2b1d064819ee399941cc.zip | |
Merge pull request #4323 from cpeterso/cpeterso-schedule-task
rt: Remove dead code from schedule_task()
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions