diff options
| -rw-r--r-- | doc/favicon.ico | bin | 2550 -> 2550 bytes |
| -rw-r--r-- | doc/favicon32.png | bin | 910 -> 0 bytes |
| -rw-r--r-- | doc/logo_16x16.png | bin | 671 -> 233 bytes |
| -rw-r--r-- | doc/logo_32x32.png | bin | 0 -> 473 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/doc/favicon.ico b/doc/favicon.ico Binary files differindex b04356231..e754f5a48 100644 --- a/doc/favicon.ico +++ b/doc/favicon.ico diff --git a/doc/favicon32.png b/doc/favicon32.png Binary files differdeleted file mode 100644 index f08aca169..000000000 --- a/doc/favicon32.png +++ /dev/null diff --git a/doc/logo_16x16.png b/doc/logo_16x16.png Binary files differindex cd9f75368..c98663d57 100644 --- a/doc/logo_16x16.png +++ b/doc/logo_16x16.png diff --git a/doc/logo_32x32.png b/doc/logo_32x32.png Binary files differnew file mode 100644 index 000000000..9075cc2b6 --- /dev/null +++ b/doc/logo_32x32.png |
