Ralf Becker e44537a46d new square logo		2014-03-05 18:33:57 +00:00
..
default	new square logo	2014-03-05 18:33:57 +00:00
idots	Fix broken onmouseover|click prefs for extraApp and sidebox menus	2014-03-03 17:45:18 +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