diff options
| author | Master Yoda <jim_parry@bcit.ca> | 2016-05-09 22:07:38 +0200 |
|---|---|---|
| committer | Master Yoda <jim_parry@bcit.ca> | 2016-05-09 22:07:38 +0200 |
| commit | 22f1545d986391e71682eba37ef60e56f3f8ca77 (patch) | |
| tree | a13cf88b5961328879d7e408059a147f1368f95f /user_guide_src | |
| parent | a5fef1f300aa4dfc21dadf5cd8b1c13a9be497f7 (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')
| -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 |