diff TOOLS/install-w32codecs.sh @ 25944:8a1c062707ff

Do not uselessly erase background, OpenGL will take care of drawing everything.
author reimar
date Sun, 10 Feb 2008 19:47:54 +0000
parents 0432c831819d
children
line wrap: on
line diff