diff options
author | Andrey Andreev <narf@devilix.net> | 2015-05-18 09:58:03 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-05-18 09:58:03 +0200 |
commit | 42743c61de725b5a21446ee2b4c2a56b71a42f20 (patch) | |
tree | b24d92b3e7737fbe7e50ac60b287e13805dba8e1 /user_guide_src/source/_themes/sphinx_rtd_theme | |
parent | e1b20cb47c59e869b04ed04bc17d6642243c8cb8 (diff) | |
parent | d90a65c8312c07ccc94452947b78aeb08f665a37 (diff) |
Merge pull request #3863 from tiagowbpr/develop
[ci skip] Fix a doc example
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme')
0 files changed, 0 insertions, 0 deletions