diff options
| author | Andrey Andreev <narf@devilix.net> | 2014-10-28 23:55:50 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2014-10-28 23:55:50 +0100 |
| commit | 49646ea1d8f4ead0768ea598e9a0aea847ebee7f (patch) | |
| tree | 5627e1f5dcbfba248e231a72aab2c5c51c85bcff /user_guide_src/source/images | |
| parent | 4b838af40d77684539dd40461bd92e6e453fe675 (diff) | |
| parent | bc2d3036267d908071ab1b26aea0a6f8e23e9201 (diff) | |
Merge pull request #3295 from jim-parry/fix/user-guide-style-clean
Revert to default sphinx theme
Diffstat (limited to 'user_guide_src/source/images')
| -rw-r--r-- | user_guide_src/source/images/ci-icon.ico | bin | 0 -> 5430 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/user_guide_src/source/images/ci-icon.ico b/user_guide_src/source/images/ci-icon.ico Binary files differnew file mode 100644 index 000000000..7ecfce214 --- /dev/null +++ b/user_guide_src/source/images/ci-icon.ico |