Minor fix: use PNG instead of GIF
authorGlenn Hutchings <zondo42@gmail.com>
Sun, 3 Apr 2016 13:53:32 +0000 (14:53 +0100)
committerGlenn Hutchings <zondo42@gmail.com>
Sun, 3 Apr 2016 13:53:32 +0000 (14:53 +0100)
commit6c3a5d35a2b1cb975e4b920615164ca53e8cfb83
tree350dd47b855ff5dbf0e20f944f25d9304c372dea
parent20e7eefa72ab3605b911912abf122d03f216470f
Minor fix: use PNG instead of GIF
images/heidi1.gif [deleted file]
images/heidi1.png [new file with mode: 0644]