15.2.0

sverweij · Nov 5, 2023 · 2e47fe9 · 2e47fe9
1 parent 73b8381
commit 2e47fe9
Show file tree

Hide file tree

Showing 7 changed files with 341 additions and 341 deletions.
diff --git a/doc/assets/theming/bare.svg b/doc/assets/theming/bare.svg