diff Gui/cfg.c @ 8950:8fd72eae8886

Small updates for correctness and consistency.
author diego
date Mon, 13 Jan 2003 23:45:14 +0000
parents bfe1b826cff1
children 0a665389cf2b
line wrap: on
line diff