summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source
diff options
context:
space:
mode:
authorMaster Yoda <jim_parry@bcit.ca>2016-05-09 22:07:38 +0200
committerMaster Yoda <jim_parry@bcit.ca>2016-05-09 22:07:38 +0200
commit22f1545d986391e71682eba37ef60e56f3f8ca77 (patch)
treea13cf88b5961328879d7e408059a147f1368f95f /user_guide_src/source
parenta5fef1f300aa4dfc21dadf5cd8b1c13a9be497f7 (diff)
Add favicon to user guide source (it was missing).
This was mentioned in a tweet. The user guide currently has a configuraiton setting with a favicon link, but it referenced a non-existant file. Signed-off-by:Master Yoda <jim_parry@bcit.ca>
Diffstat (limited to 'user_guide_src/source')
-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