comparison Gui/interface.h @ 13917:03cff4c11665

compilation fix and partial sync
author diego
date Thu, 11 Nov 2004 03:35:40 +0000
parents 024b4c37a054
children 21e72b6d8d11
comparison
equal deleted inserted replaced
13916:04859611e7c0 13917:03cff4c11665