diff Gui/interface.h @ 8971:1a55bd301c66

sync
author nicolas
date Fri, 17 Jan 2003 20:14:10 +0000
parents c6a1a5b6ba25
children 4a42c0604ce1
line wrap: on
line diff