diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-05-10 09:21:19 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2016-05-10 09:21:19 +0200 |
| commit | deadee14daecb04dcb5a6810fc1cea152f2a4b98 (patch) | |
| tree | f98ca86ad884581c8def4f7b5bfc369f7611756c | |
| parent | a380c69a71bcf2362e8cebe707994cc519a93bfd (diff) | |
| parent | 22f1545d986391e71682eba37ef60e56f3f8ca77 (diff) | |
Merge pull request #4620 from jim-parry/favicon
[ci skip] Add missing favicon to user guide source
| -rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico | bin | 0 -> 1150 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico b/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico Binary files differnew file mode 100644 index 000000000..c4246f8bf --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico |