diff Gui/interface.c @ 10088:b84fb7055a7b

sync
author nicolas
date Sat, 10 May 2003 12:08:37 +0000
parents 09d630a4f991
children f0bcaf5ea675
line wrap: on
line diff