Renamed LineWidth4.gif to LineWidth4.png
Authored by: vincentb1 2010-04-20
Parent: [r706]
Child: [r708]