diff options
author | Michael Davis | 2022-12-02 13:45:06 +0000 |
---|---|---|
committer | GitHub | 2022-12-02 13:45:06 +0000 |
commit | 8c2692caf14d49e25b19c4d232b3658abc4f6ec5 (patch) | |
tree | bdc579d74d9e3b11c2c5725d0d07193ae8b080ed /book/theme/favicon.png | |
parent | c38519c57adbbdc36b6cf19359384c89f4f34431 (diff) |
Use the logo as the favicon for the docs book (#4971)
Diffstat (limited to 'book/theme/favicon.png')
-rw-r--r-- | book/theme/favicon.png | bin | 5679 -> 42591 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/book/theme/favicon.png b/book/theme/favicon.png Binary files differindex a5b1aa16..1baa7c51 100644 --- a/book/theme/favicon.png +++ b/book/theme/favicon.png |