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

Remove useless variable.
author reimar
date Fri, 26 Oct 2012 18:58:48 +0000
parents ed0e00db4306
children 31a5320909f7
line wrap: on
line diff