From 69b735e9a74757143a6d8d86d4ad5e859f400960 Mon Sep 17 00:00:00 2001
From: Luca Pellegrini <luca.pellegrini@disroot.org>
Date: Tue, 17 Oct 2023 23:07:14 +0200
Subject: [PATCH] Update *.code-workspace file

---
 shell-scripts.code-workspace | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shell-scripts.code-workspace b/shell-scripts.code-workspace
index 5709732..19a6105 100644
--- a/shell-scripts.code-workspace
+++ b/shell-scripts.code-workspace
@@ -4,5 +4,7 @@
 			"path": "."
 		}
 	],
-	"settings": {}
+	"settings": {
+		"editor.fontSize": 18
+	}
 }