From 32e6dbbb62ada33c901b3bd1ee004606b0562433 Mon Sep 17 00:00:00 2001
From: Michiel van den Heuvel <michielvdnheuvel@gmail.com>
Date: Sun, 2 Feb 2025 12:55:14 +0100
Subject: Add editorconfig section for tools/

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

diff --git a/.editorconfig b/.editorconfig
index 1635025..b0f7f65 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -9,3 +9,8 @@ indent_size = 2
 [.gitlab-ci.yml]
 indent_style = space
 indent_size = 2
+
+[tools/*]
+indent_style = space
+indent_size = 4
+binary_next_line = true
-- 
cgit v1.2.3