diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-06-29 10:57:48 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-06-29 10:57:48 +0200 |
| commit | 8162c56397b469152ddab68e91e5514f6f8fa5e5 (patch) | |
| tree | 3fc3b5b022d5d89cbf1eb3ddb3a6b449c13b581b /user_guide_src/source/conf.py | |
| parent | 49884bcb075db7e4e2e583f775909deff5328b6b (diff) | |
[ci skip] Manually apply PR #3925
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions