comparison Gui/app.c @ 12039:c80409b9bb38

small correction as suggested by Nico
author diego
date Wed, 17 Mar 2004 16:59:24 +0000
parents bc24dd70c6e2
children 9635dcba8f29
comparison
equal deleted inserted replaced
12038:968322f384ee 12039:c80409b9bb38