diff gui/interface.c @ 24032:144162149176

Fix likely mistake when using char*.
author cehoyos
date Mon, 13 Aug 2007 08:32:47 +0000
parents 1cb14b091f46
children f5b32d12b691
line wrap: on
line diff