Changeset 78323

Timestamp:

May 4, 2012, 6:54:38 PM (10 years ago)

Author:

edupuis

Message:

Renamed *.PNG files in *.png files; most likely fixes #6718 as the HTML pages refers to filenames with lowercase letters. We will need two commits for that as for some reason Boost's SVN rejects renaming 'mb1.PNG' in 'mb1.png'...

(No files)