diff Gui/app.h @ 18037:3c8aa5261e80

Simplify some checks.
author diego
date Tue, 04 Apr 2006 05:09:12 +0000
parents 9a5a62f480e6
children f9a939c204ad
line wrap: on
line diff