Simon Hausmann 918fa68c28 Revert logo in C++ docs ... This reverts the Pipenv pinning of f9ef21bffd and thus disables the logo, as subsequent changes in the pinned sphinx fork cause unrelated breakages when building docs. Let's re-enable this when the fixes are in an upstream release of sphinx and the rtd theme.		2021-06-28 14:03:45 +02:00
..
_static	Minor tweak to the logo in the C++ docs	2021-06-25 12:46:35 +02:00
_templates	Include the example preview also in the C++ documentation	2020-09-04 11:44:08 +02:00
.gitignore	Improve C++ documentation shell	2020-08-24 17:07:04 +02:00
conf.py	Increase version numbers	2021-06-28 10:39:43 +02:00
generated_code.md	Janitor: Fix warnings about markdown files	2021-06-28 08:32:25 +02:00
index.rst	Extends the C++ API docs for the interpreter a bit	2021-05-06 10:03:27 +02:00
Pipfile	Revert logo in C++ docs	2021-06-28 14:03:45 +02:00
types.md	Janitor: Fix typos in comments and user-facing strings	2021-06-28 08:32:25 +02:00