diff gui/interface.h @ 28592:d9c223f0f7ef

Fix compilation after last commit.
author cehoyos
date Tue, 17 Feb 2009 10:13:08 +0000
parents 9e739bdb049c
children 8c3fbc5bf67d
line wrap: on
line diff