diff tremor/os_types.h @ 31464:1453fc56d49c

Change timer_name type from char* to char[]; patch taken from Uoti's tree.
author diego
date Wed, 23 Jun 2010 10:50:55 +0000
parents e83eef58b30a
children
line wrap: on
line diff