diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-01-19 13:54:08 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-01-19 13:54:08 +0100 |
| commit | 9a0e66096a1d70c28a7d5358f966f936f609d52b (patch) | |
| tree | e51bdbe131cd07bad9743a797ba45ee9d4fdd5cd /user_guide_src/source/images/folder.gif | |
| parent | e3d66af0845c0b9f995d1890d890cfd36ce1f3fc (diff) | |
[ci skip] Manually apply PR #3461
I would've merged it earlier, but that would cause conflicts when feature/session
is merged.
Diffstat (limited to 'user_guide_src/source/images/folder.gif')
0 files changed, 0 insertions, 0 deletions