diff gui/util/list.h @ 35179:94565576f967

Remove useless variable.
author reimar
date Fri, 26 Oct 2012 18:58:48 +0000
parents 42fa91951bd2
children 02006c5b3b30
line wrap: on
line diff