Christian Mehlis cd016e0334 fix: vtimer_now should return seconds and microseconds

2013-12-19 15:37:55 +01:00

..

Makefile

* replaced new Makefile name in Makefiles

2013-03-09 23:47:21 +01:00

vtimer.c

fix: vtimer_now should return seconds and microseconds

2013-12-19 15:37:55 +01:00