Skip to content

Translate upper left corner title :)#115

Merged
raulcd merged 3 commits into3.8from
sphinx-internal-improvements
May 7, 2020

Commits

Commits on May 7, 2020