diff Gui/cfg.c @ 12039:c80409b9bb38

small correction as suggested by Nico
author diego
date Wed, 17 Mar 2004 16:59:24 +0000
parents ec3dac7d17a0
children eb0d3c1b6c6d
line wrap: on
line diff