Renamed action.command.DVI.gif to action.command.DVI.png
Authored by: vincentb1 2010-04-20
Parent: [r567]
Child: [r569]