diff Gui/interface.c @ 6353:31d5de7d9eeb

small fixes
author diego
date Sun, 09 Jun 2002 10:27:50 +0000
parents cf2c2b92d1a7
children f554e7271587
line wrap: on
line diff