diff Gui/interface.h @ 22142:84f95595f31f

Fix a few gcc warnings, approved by Diego and Reimar.
author rathann
date Mon, 05 Feb 2007 23:46:08 +0000
parents b806ccbc6398
children a7e5b99ac083
line wrap: on
line diff