diff options
author | Andrey Andreev <narf@devilix.net> | 2015-10-02 15:54:39 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-10-02 15:54:39 +0200 |
commit | 4d084ac1455774a4bab56ffdd91babe784c31f54 (patch) | |
tree | 2fb2dc611dc10db97aa1cc830b12f04b73aa493e /user_guide_src/source/_themes/sphinx_rtd_theme | |
parent | efb6de499bb9f02d1b42d4c63c6d95dddb77efa5 (diff) | |
parent | 93e8513136b76fd848221fba275fa43b63b3dce7 (diff) |
Merge pull request #4153 from jim-parry/doc/toc
[ci skip] Adjust user guide TOC
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme')
0 files changed, 0 insertions, 0 deletions