Changeset 78324

Timestamp:
May 4, 2012, 6:57:11 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. This is the second commit that completes the rename.

(No files)

Note: See TracChangeset for help on using the changeset viewer.