From: Glenn Hutchings <zondo42@gmail.com>
Date: Sun, 3 Apr 2016 13:53:32 +0000 (+0100)
Subject: Minor fix: use PNG instead of GIF
X-Git-Url: https://jxself.org/git/?p=ibg.git;a=commitdiff_plain;h=6c3a5d35a2b1cb975e4b920615164ca53e8cfb83;ds=inline

Minor fix: use PNG instead of GIF
---

diff --git a/images/heidi1.gif b/images/heidi1.gif
deleted file mode 100644
index 60e3bcd..0000000
Binary files a/images/heidi1.gif and /dev/null differ
diff --git a/images/heidi1.png b/images/heidi1.png
new file mode 100644
index 0000000..fa0963e
Binary files /dev/null and b/images/heidi1.png differ