| commit | ae435f79ca958127b2d4ce2572bfd97e829df81f | [log] [tgz] |
|---|---|---|
| author | Andrey Andreev <narf@devilix.net> | Tue May 10 10:21:19 2016 +0300 |
| committer | Andrey Andreev <narf@devilix.net> | Tue May 10 10:21:54 2016 +0300 |
| tree | f169aaeda705c211ac7a58b73f6a0f4060b90400 | |
| parent | 8c95c3d6d1b589771890e5383c3e0f78a58303e9 [diff] |
Merge pull request #4620 from jim-parry/favicon [ci skip] Add missing favicon to user guide source
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 0000000..c4246f8 --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico Binary files differ