diff options
| -rw-r--r-- | doc/favicon.ico | bin | 405 -> 2550 bytes |
| -rw-r--r-- | doc/favicon32.png | bin | 0 -> 910 bytes |
| -rw-r--r-- | doc/logo_16x16.png | bin | 714 -> 671 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/doc/favicon.ico b/doc/favicon.ico Binary files differindex 5bb405931..b04356231 100644 --- a/doc/favicon.ico +++ b/doc/favicon.ico diff --git a/doc/favicon32.png b/doc/favicon32.png Binary files differnew file mode 100644 index 000000000..f08aca169 --- /dev/null +++ b/doc/favicon32.png diff --git a/doc/logo_16x16.png b/doc/logo_16x16.png Binary files differindex 1efbebdd7..cd9f75368 100644 --- a/doc/logo_16x16.png +++ b/doc/logo_16x16.png |
