RIOT-OS/RIOT — pull request #134 by OlegHahm (2013-08-14 11:23:00+00:00)
Title: Scheduler callback

Fix for #130 and added documentation in `sched.h`