comparison gui/interface.h @ 34294:d30ea496ed2a

Remove unused header.
author reimar
date Sat, 03 Dec 2011 21:33:28 +0000
parents 6a0bda5e63ac
children f05c75392897
comparison
equal deleted inserted replaced
34293:3f409c370881 34294:d30ea496ed2a