diff gui/ui/main.c @ 35179:94565576f967

Remove useless variable.
author reimar
date Fri, 26 Oct 2012 18:58:48 +0000
parents 203d0d5cac1f
children 60930e7347c6
line wrap: on
line diff