Optimised PNG images with optipng. They now take up less space

2004-09-25 10:43:42 +00:00 · 2004-09-25 10:43:42 +00:00 · 7c9495324e
commit 7c9495324e
parent 1c5391c779
113 changed files with 3 additions and 0 deletions
--- a/data/images/tools/brush.png
+++ b/data/images/tools/brush.png
--- a/data/images/tools/eraser.png
+++ b/data/images/tools/eraser.png
--- a/data/images/tools/lines.png
+++ b/data/images/tools/lines.png
--- a/data/images/tools/magic.png
+++ b/data/images/tools/magic.png
--- a/data/images/tools/new.png
+++ b/data/images/tools/new.png
--- a/data/images/tools/open.png
+++ b/data/images/tools/open.png
--- a/data/images/tools/print.png
+++ b/data/images/tools/print.png
--- a/data/images/tools/quit.png
+++ b/data/images/tools/quit.png
--- a/data/images/tools/redo.png
+++ b/data/images/tools/redo.png
--- a/data/images/tools/save.png
+++ b/data/images/tools/save.png
--- a/data/images/tools/shapes.png
+++ b/data/images/tools/shapes.png
--- a/data/images/tools/stamp.png
+++ b/data/images/tools/stamp.png
--- a/data/images/tools/text.png
+++ b/data/images/tools/text.png
--- a/data/images/tools/undo.png
+++ b/data/images/tools/undo.png