From 9ec07c2054e24ef1adcf8e91bff67e9cee42943b Mon Sep 17 00:00:00 2001
From: Andrea Giacobino <no.andrea@gmail.com>
Date: Mon, 13 Nov 2023 23:01:38 +0100
Subject: [PATCH] ignore generated files in editorconfig

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

diff --git a/.editorconfig b/.editorconfig
index 7c40cc3a..8f4ace6a 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -25,3 +25,9 @@ indent_size=2
 
 [*.md]
 trim_trailing_whitespace=false
+
+# ignore generated files
+[tracing/*/runtime/**/*.rs]
+indent_style=unset
+indent_size=unset
+max_line_length=unset