diff Gui/interface.c @ 13959:91b6a78856e5

miscellaneous fixes
author diego
date Wed, 17 Nov 2004 02:08:24 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
line wrap: on
line diff