sched.c: Remove unused timeout_is_zero().
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 1 Jan 2015 18:20:39 +0000 (18:20 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 12 Jan 2015 22:29:07 +0000 (23:29 +0100)
commit1f7a50b57bf59a85dafaed5e7b48bb0ec2efcc5c
treeac86e7d57502920f7dc2687832c8b51b1d31ca3a
parent300f8b11d60c651d73af3da13c74a02586a06b9c
sched.c: Remove unused timeout_is_zero().

Found by cppcheck.
sched.c