diff options
author | 2015-11-23 15:28:23 +0000 | |
---|---|---|
committer | 2015-11-23 15:28:23 +0000 | |
commit | 082a030caad50441ba646689ccc0af3912e6c320 (patch) | |
tree | e6a990264165c444a9f07186b23f428af45a940f /.gitignore | |
parent | 7f549d3fdcbea979deee8fc0808043a18567f298 (diff) | |
parent | 351238c6fe772886f8f62f74e9aa9237f0f1067e (diff) |
Merge "doc: fix logo setting for sphinx-build"
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions