diff options
author | Joey Hess <joey@kitenet.net> | 2014-03-16 15:50:53 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-03-16 15:52:16 -0400 |
commit | 0b026ef4d8fec7e092dab38f949bff5de9d01e72 (patch) | |
tree | d830723d50590c7d2c6a85cfca6b262e11cad9b0 /doc | |
parent | 41234a46a232df21516c03c6ce56a49356b6decc (diff) |
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.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/logo_16x16.png (renamed from doc/favicon.png) | bin | 714 -> 714 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/favicon.png b/doc/logo_16x16.png Binary files differindex 1efbebdd7..1efbebdd7 100644 --- a/doc/favicon.png +++ b/doc/logo_16x16.png |