diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-22 21:38:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-22 19:38:57 +0000 |
commit | 69992245e3d2326ca8ecf2295a7e03d395046fc1 (patch) | |
tree | b165e5472cc03856e074eaa54d1a6528dd1c13b2 /docs/ext | |
parent | 0869a09f1161480de24c412b12954fc84943bab2 (diff) |
Add API documentation for statistics (#6364)
This PR adds documentation for api::Statistics and api::Stat, as well as further explanations in sphinx.
It also adds a custom css to our sphinx theme that slightly changes how inline code blocks look.
Diffstat (limited to 'docs/ext')
-rw-r--r-- | docs/ext/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/ext/.gitignore b/docs/ext/.gitignore new file mode 100644 index 000000000..ba0430d26 --- /dev/null +++ b/docs/ext/.gitignore @@ -0,0 +1 @@ +__pycache__/
\ No newline at end of file |