diff Gui/interface.h @ 5362:5882b38e1c2d

applied Diego's cosmetics patch :) with some small fixes
author arpi
date Wed, 27 Mar 2002 00:54:45 +0000
parents 27980a844961
children 3e7f39c4110c
line wrap: on
line diff