diff gui/ui/render.h @ 36388:542cf5882264

Remove pointless casts.
author reimar
date Fri, 25 Oct 2013 19:59:56 +0000
parents 6fd886ce32b9
children 6bb8d4f4a7b0
line wrap: on
line diff