diff options
author | Andrey Andreev <narf@devilix.net> | 2015-02-02 12:41:01 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-02-02 12:41:01 +0100 |
commit | cd3d9dbcbc99fa956b7400d328f202e1bcab4677 (patch) | |
tree | ca1e12b6751f31de8f49055118318643f7d647c7 /user_guide_src/source/_themes/sphinx_rtd_theme/footer.html | |
parent | 7fd0c2d22ccbeb824419477ae8b506b84002ea13 (diff) |
[ci skip] Fix #3515
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/footer.html')
0 files changed, 0 insertions, 0 deletions