Ralf Becker 8d1633f58b deals with situation that no extra application menu is necessary		2014-03-12 12:18:35 +00:00
..
default	new square logo	2014-03-05 18:33:57 +00:00
idots	deals with situation that no extra application menu is necessary	2014-03-12 12:18:35 +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