pesterchum/themes/paperchum/selectedbg.png at 803ec93faa8a2b01cdf8e3581424c281c7bfb9a9

Dpeta f9dcb452c7 Made file capitalization consistent for a few files. (.PNG --> .png), because some file systems are queasy on that.

(See https://superuser.com/questions/881804/case-sensitive-file-extensions-in-windows-and-linux)

2021-04-13 01:33:57 +02:00