diff Gui/interface.c @ 9908:2077c2558e4b

sync
author nicolas
date Fri, 11 Apr 2003 17:15:15 +0000
parents 09d630a4f991
children f0bcaf5ea675
line wrap: on
line diff