diff Gui/skin/skin.h @ 6656:92b29c3ed0c0

bugfix by Michael.Lampe@iwr.uni-heidelberg.de
author arpi
date Sat, 06 Jul 2002 15:17:27 +0000
parents d6c99f70449e
children 72700fefd3dc
line wrap: on
line diff