diff options
author | Andrey Andreev <narf@devilix.net> | 2016-10-24 08:40:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-24 08:40:52 +0200 |
commit | 0acf56295ee3a56c5b597bfb2e3b4c702cbb765f (patch) | |
tree | 5c4b16a9d8af60e04f7593f548607d856eae5f2f /user_guide_src/source/_themes | |
parent | 6c33f22983a60a046c7de580bebb9b95c4ea106a (diff) | |
parent | 255e4c073fcd82f4c35ef0789aa2f98a16ee8092 (diff) |
Merge pull request #4867 from vkeranov/3.1-stable
[ci skip] Fix a changelog entry
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions