comparison 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
comparison
equal deleted inserted replaced
5361:3e81a50e33ff 5362:5882b38e1c2d