diff Gui/interface.c @ 13917:03cff4c11665

compilation fix and partial sync
author diego
date Thu, 11 Nov 2004 03:35:40 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
line wrap: on
line diff