comparison gui/interface.h @ 36231:b5d3d146ecbe

Remove some now unused code.
author reimar
date Sun, 09 Jun 2013 22:30:25 +0000
parents 1562f350e8d2
children 703a51ce08c8
comparison
equal deleted inserted replaced
36230:a1e1633fd45b 36231:b5d3d146ecbe