diff gui/bitmap.h @ 32755:f03a237a8d26

Add prefix filename option for PNG video output. Patch by Marco Aurlio Graciotto Silva, magsilva gmail.
author cboesch
date Wed, 02 Feb 2011 23:55:16 +0000
parents b0a7b35b78d2
children d971fcdbb787
line wrap: on
line diff