diff Gui/app.h @ 5624:d9af91d38449

workaround Juanjo's stupid vme change
author arpi
date Sun, 14 Apr 2002 23:16:55 +0000
parents b64fa5d25142
children 3e7f39c4110c
line wrap: on
line diff