diff Gui/interface.c @ 13946:e632b43f0598

Reduce excessive verbosity.
author diego
date Mon, 15 Nov 2004 09:09:29 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
line wrap: on
line diff