Renamed action.command.Dvips.gif to action.command.Dvips.png
Authored by: vincentb1 2010-04-20
Parent: [r568]
Child: [r570]