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:54 +0200 |
commit | ae435f79ca958127b2d4ce2572bfd97e829df81f (patch) | |
tree | f169aaeda705c211ac7a58b73f6a0f4060b90400 /user_guide_src/source/_themes/sphinx_rtd_theme/static/css/badge_only.css | |
parent | 8c95c3d6d1b589771890e5383c3e0f78a58303e9 (diff) |
Merge pull request #4620 from jim-parry/favicon
[ci skip] Add missing favicon to user guide source
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/css/badge_only.css')
0 files changed, 0 insertions, 0 deletions