diff Gui/interface.h @ 12222:da3cc73c2f98

sync by Daniele Forghieri
author diego
date Sat, 17 Apr 2004 16:11:26 +0000
parents 024b4c37a054
children 21e72b6d8d11
line wrap: on
line diff