remove unused sched_shutting_down
authorSimon Marlow <marlowsd@gmail.com>
Fri, 12 Oct 2012 14:31:17 +0000 (15:31 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 25 Oct 2012 07:40:26 +0000 (08:40 +0100)
commit820134a0d80d54d218742d35453903d0348b279f
treebcb2555cda6502ffd96b9fb2f14c167706b01111
parent0b3811c093736950c1d2757fb12dba60f9bf97ca
remove unused sched_shutting_down
rts/Capability.c
rts/Schedule.c