From 2796e750b109d860391f9d74a0f6f0158db201d5 Mon Sep 17 00:00:00 2001
From: Aarni Koskela <akx@iki.fi>
Date: Mon, 31 Jul 2023 12:15:11 +0200
Subject: [PATCH] editorconfig: add override for the server HTML (which already
 is 2-space indented)

---
 .editorconfig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index 135a7e4bc..f8245b85c 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -17,3 +17,6 @@ indent_style = tab
 
 [prompts/*.txt]
 insert_final_newline = unset
+
+[examples/server/public/*]
+indent_size = 2