diff gui/skin/skin.h @ 33557:71ec25d1da10

Fix compilation after r33644. Some include file changes apparently got lost.
author ib
date Sat, 18 Jun 2011 16:35:37 +0000
parents c5a19bbeac2b
children d8f49edf8f25
line wrap: on
line diff