linuxmint/Cinnamon — pull request #2225 by neheb (2013-06-29 21:25:47+00:00)
Title: Shrink down PNG files

I only did some of them. The flags were too many.

All images are losslessly made smaller. I did not touch any transparency information although there is a future possibility for that.

Tools used were zopflipng, pngout, deflopt, and defluff.