media/logo/tux.png: Convert from old GIF format

PNG is the new hotness.

diff --git a/media/logo/tux.gif b/media/logo/tux.gif
deleted file mode 100644 (file)
index 0eeea68..0000000
Binary files a/media/logo/tux.gif and /dev/null differ

diff --git a/media/logo/tux.png b/media/logo/tux.png
new file mode 100644 (file)
index 0000000..2e8b18c
Binary files /dev/null and b/media/logo/tux.png differ

diff --git a/media/logo/tux.gif.txt b/media/logo/tux.png.txt
similarity index 79%
rename from media/logo/tux.gif.txt
rename to media/logo/tux.png.txt
index bc63ccf4326dbd09ea3f318b01e90fec49c8c183..56d3bb045b77207459d165b1ef7c6b8dc3be310b 100644 (file)
--- a/media/logo/tux.gif.txt
+++ b/media/logo/tux.png.txt
@@ -6,3 +6,7 @@ http://www.isc.tamu.edu/~lewing/linux/
 The original Tux, the official Linux mascot created by Larry Ewing in
 1996: Permission to use and/or modify this image is granted provided
 you acknowledge me lewing@isc.tamu.edu and The GIMP if someone asks.
+
+Changes:
+* Converted from GIF to PNG with ImageMagick:
+    convert tux.gif tux.png