diff options
author | Andrey Andreev <narf@devilix.net> | 2019-09-19 14:08:45 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2019-09-19 14:08:45 +0200 |
commit | b73eb19aed66190c10c9cad476da7c36c271d6dc (patch) | |
tree | b3d5d4f960569c30701934416d6d51628bde81a7 /user_guide_src/source/images/ci-icon.ico | |
parent | 6e052d80b95b9332ed592cdc3431b5f9dc8dd250 (diff) |
[ci skip] 3.1.11 release
Diffstat (limited to 'user_guide_src/source/images/ci-icon.ico')
-rw-r--r-- | user_guide_src/source/images/ci-icon.ico | bin | 5430 -> 0 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 differdeleted file mode 100644 index 7ecfce214..000000000 --- a/user_guide_src/source/images/ci-icon.ico +++ /dev/null |