diff gui/skin/skin.h @ 35108:0543235d2e21

Fix delogo filter with numbered mpi. Should fix bug #2087.
author reimar
date Mon, 17 Sep 2012 19:50:29 +0000
parents 9b28414785e1
children 40c13df3d953
line wrap: on
line diff