Renamed file endings from 'jpeg' to 'jpg' and 'PNG' to 'png'

Browse Source

For consistency reasons.
It also helps while listing the files ex. if you want to see how many JPGs are there previously you would need to remember about .jpeg too. If someone would use grep to list PNGs that one particular file would not show as grep is case-sensistive.

...

This commit is contained in:

K0RR

2022-03-23 00:40:11 +01:00

parent 9cb4a54244

commit 53c0d81510

8 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

SICP/Saki_Sukinasaki_holding_SICP.PNG → SICP/Saki_Sukinasaki_holding_SICP.png

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 179 KiB After Width:  |  Height:  |  Size: 179 KiB

0

SICP/Satania_SICP.jpeg → SICP/Satania_SICP.jpg

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 9.9 KiB After Width:  |  Height:  |  Size: 9.9 KiB