Use timer_clock() instead of obsolete timer_ticks().
[bertos.git] / app / demo /
drwxr-xr-x   ..
-rwxr-xr-x 5844 appconfig.h
-rwxr-xr-x 7982 demo.c
-rwxr-xr-x 1977 demo.mk
-rwxr-xr-x 1993 verstag.h