Ralf Becker fd7a180412 fixed IDE warnings		2014-03-23 08:51:28 +00:00
..
default	new square logo	2014-03-05 18:33:57 +00:00
idots	fixed IDE warnings	2014-03-23 08:51:28 +00:00
jerryr	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