diff Gui/interface.c @ 8985:8e28993c9f28

sync
author nicolas
date Sat, 18 Jan 2003 13:44:52 +0000
parents 0a665389cf2b
children 4a42c0604ce1
line wrap: on
line diff