geoext/geoext2 — pull request #152 by marcjansen (2012-05-19 21:54:51+00:00)
Title: Image optimizations for our image resources.

The png files were otimized with `pngcrush -brute` and the gif with `gifsicle`.
The changes, although they are supposed to be lossless, should be tested in
different browsers.