From 2922a12118a0730d2f7632bcba265b44a0856c59 Mon Sep 17 00:00:00 2001
From: Daniel Bevenius <daniel.bevenius@gmail.com>
Date: Mon, 31 Aug 2026 16:00:58 +0200
Subject: [PATCH] editorconfig : exclude profiling reports dir

This directory will not be included in the merge later and this commit
can be ignore at that point. Just fixing to keep CI happy.
---
 .ecrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ecrc b/.ecrc
index c68877ec21..905d634717 100644
--- a/.ecrc
+++ b/.ecrc
@@ -1,5 +1,5 @@
 {
-  "Exclude": ["^\\.gitmodules$", "stb_image\\.h"],
+  "Exclude": ["^\\.gitmodules$", "stb_image\\.h", "^docs/profiling-reports/"],
   "Disable": {
     "IndentSize": true
   }