diff Gui/app.h @ 8950:8fd72eae8886

Small updates for correctness and consistency.
author diego
date Mon, 13 Jan 2003 23:45:14 +0000
parents d07ab8e088a9
children 0a665389cf2b
line wrap: on
line diff