diff Gui/interface.h @ 8622:871e07a43f58

sync
author nicolas
date Sat, 28 Dec 2002 18:35:44 +0000
parents c6a1a5b6ba25
children 4a42c0604ce1
line wrap: on
line diff