Tomas Hruby cdd6743e88 do_vtimer() ...

- removed comment which is not true anymore as we don't have any
  tasks. No need to take any special measures.

2010-04-06 11:16:14 +00:00

3.5 KiB

Raw Blame History

View Raw