timer_gettick(): Rename to timer_ticks() and add backwards compatibility inline.
[bertos.git] / LICENSE.GPL
2004-06-03 bernieAdd dual-license information.