From 2a6b9a9ea01e8e6a80fe51d01dc865595b67a612 Mon Sep 17 00:00:00 2001
From: Niklas Schröder <33390735+lnschroeder@users.noreply.github.com>
Date: Tue, 07 Nov 2023 17:16:48 +0000
Subject: [PATCH] docs: fix property name for ToC toggle (#573)

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.10.0