From 745c9ada43beb72681ad81a41fd408e4e5480be0 Mon Sep 17 00:00:00 2001
From: Michele Cereda <cereda.michele@gmail.com>
Date: Sat, 22 Apr 2023 14:16:26 +0200
Subject: [PATCH] chore: saved workspace settings for toc in the markdown
 extension

---
 .vscode/settings.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index f10ca49..31487dd 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -92,5 +92,7 @@
         "userspace",
         "wlan",
         "zstd"
-    ]
+    ],
+    "markdown.extension.toc.levels": "2..6",
+    "markdown.extension.toc.orderedList": true
 }