diff gui/ui/render.c @ 34507:582ca9169495

Fix 32-bit png playback with current FFmpeg.
author cehoyos
date Tue, 24 Jan 2012 18:11:10 +0000
parents 5a45efc630b8
children 848ca0b6d5ca
line wrap: on
line diff