Renamed LineWidth3.gif to LineWidth3.png
Authored by: vincentb1 2010-04-20
Parent: [r705]
Child: [r707]