diff options
| author | Brian Anderson <banderson@mozilla.com> | 2013-05-11 19:46:43 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2013-05-15 12:19:16 -0700 |
| commit | 56c0b188b66f71f55e2d577ca4a23830a31433e6 (patch) | |
| tree | 37fbbaf3c7a3d116c89a9c8caa17c871b0135b93 /src/rustllvm/RustWrapper.cpp | |
| parent | c42b03de17b2d0c567dc85417ec22518d69fd8ae (diff) | |
| download | rust-56c0b188b66f71f55e2d577ca4a23830a31433e6.tar.gz rust-56c0b188b66f71f55e2d577ca4a23830a31433e6.zip | |
rt: Rename sched_key to rt_key
It is more general-purpose than holding scheduler pointers
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions