Ralf Becker 332d4e5a42 removed gif images for which we have a png image available, as png is now supported by all browsers		2014-02-03 14:04:39 +00:00
..
images	removed gif images for which we have a png image available, as png is now supported by all browsers	2014-02-03 14:04:39 +00:00