diff options
author | Andrey Andreev <narf@devilix.net> | 2019-01-16 16:49:35 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2019-01-16 16:49:35 +0100 |
commit | c576995304fc3609cca0b7b92d1b2cd611ec82f5 (patch) | |
tree | c8b9121cb295b56bbabe3aeaad0a3eb1f2d390bb /user_guide_src/source/images/folder.gif | |
parent | 4eaf80a6ec0b58a0adc95638153363e00ebf5378 (diff) |
[ci skip] 3.1.10 release
Diffstat (limited to 'user_guide_src/source/images/folder.gif')
-rw-r--r-- | user_guide_src/source/images/folder.gif | bin | 570 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/user_guide_src/source/images/folder.gif b/user_guide_src/source/images/folder.gif Binary files differdeleted file mode 100644 index fef31a60b..000000000 --- a/user_guide_src/source/images/folder.gif +++ /dev/null |