Use timer_clock() instead of obsolete timer_ticks().
[bertos.git] / app /
drwxr-xr-x   ..
drwxr-xr-x - demo
drwxr-xr-x - triface