Use timer_clock() instead of obsolete timer_ticks().
[bertos.git] / LICENSE.GPL
2004-06-03 bernieAdd dual-license information.