diff parser-cfg.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 c1a3f1bbba26
children 5761a9a31bcb
line wrap: on
line diff