diff gui/interface.h @ 35179:94565576f967

Remove useless variable.
author reimar
date Fri, 26 Oct 2012 18:58:48 +0000
parents 5a45efc630b8
children 11408d97de7a
line wrap: on
line diff