Use timer_clock() instead of obsolete timer_ticks().
[bertos.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 10 .cvsignore
-rwxr-xr-x 0 .keepme