diff options
| author | Andrey Andreev <narf@devilix.net> | 2018-03-22 15:48:55 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2018-03-22 15:48:55 +0100 |
| commit | 71e647782764184e3aab4faffe6d99176758979f (patch) | |
| tree | 74dbdd50a61cd5674915c144aca9ebbc00b235b8 /user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico | |
| parent | b12fbad77bd69ca0c7624a9094c29b7691ea6107 (diff) | |
[ci skip] 3.1.8 release
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico')
| -rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico | bin | 1150 -> 0 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 differdeleted file mode 100644 index c4246f8bf..000000000 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/static/images/ci-icon.ico +++ /dev/null |