comparison 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
comparison
equal deleted inserted replaced
28766:4725b3ebdba3 28767:8134ffd057d7