summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/images/folder.gif
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2015-01-19 13:54:08 +0100
committerAndrey Andreev <narf@devilix.net>2015-01-19 13:54:08 +0100
commit9a0e66096a1d70c28a7d5358f966f936f609d52b (patch)
treee51bdbe131cd07bad9743a797ba45ee9d4fdd5cd /user_guide_src/source/images/folder.gif
parente3d66af0845c0b9f995d1890d890cfd36ce1f3fc (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