diff gui/interface.h @ 34294:d30ea496ed2a

Remove unused header.
author reimar
date Sat, 03 Dec 2011 21:33:28 +0000
parents 6a0bda5e63ac
children f05c75392897
line wrap: on
line diff