Joey Hess 8d5a626a0b rename favicon.png to logo_16x16.png ... This was never used as a favicon, it's just a png version of the favicon.ico. It's actually used for the freedesktop menu file.		2014-03-16 15:52:16 -04:00
..
AutoStart.hs	Install XDG desktop icon files.	2013-07-09 19:56:30 -04:00
Menu.hs	rename favicon.png to logo_16x16.png	2014-03-16 15:52:16 -04:00