diff gui/interface.h @ 28767:8134ffd057d7

Add back mistakenly removed copyright notice.
author diego
date Tue, 03 Mar 2009 16:17:11 +0000
parents 9e739bdb049c
children 8c3fbc5bf67d
line wrap: on
line diff