summaryrefslogtreecommitdiffstats
path: root/user_guide_src
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2016-05-10 09:21:19 +0200
committerAndrey Andreev <narf@devilix.net>2016-05-10 09:21:19 +0200
commitdeadee14daecb04dcb5a6810fc1cea152f2a4b98 (patch)
treef98ca86ad884581c8def4f7b5bfc369f7611756c /user_guide_src
parenta380c69a71bcf2362e8cebe707994cc519a93bfd (diff)
parent22f1545d986391e71682eba37ef60e56f3f8ca77 (diff)
Merge pull request #4620 from jim-parry/favicon
[ci skip] Add missing favicon to user guide source
Diffstat (limited to 'user_guide_src')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.icobin0 -> 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
new file mode 100644
index 000000000..c4246f8bf
--- /dev/null
+++ b/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico
Binary files differ