diff options
author | Andrey Andreev <narf@devilix.net> | 2015-11-25 21:41:40 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-11-26 11:31:30 +0100 |
commit | c34f16d38b669649103853f449a0a6bf138c8601 (patch) | |
tree | 45c8517f3d45dff8151f801b164f3626e98cc16f /user_guide_src/source/documentation/index.rst | |
parent | 7e983df144c7edca97bf4ce3b5e64f4487972262 (diff) |
Merge pull request #4271 from galdiolo/patch-12
[ci skip] Fix file name in documentation
Diffstat (limited to 'user_guide_src/source/documentation/index.rst')
0 files changed, 0 insertions, 0 deletions