diff help/help_mp-pl.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 a9475c68aa47
children 01f7cf82b7b1
line wrap: on
line diff