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.
2026-09-14 18:02:52 +02:00 · 2026-08-31 16:00:58 +02:00
parent 9cf0a89e1c
commit 2922a12118
1 changed files with 1 additions and 1 deletions
@@ -1,5 +1,5 @@
 {
-  "Exclude": ["^\\.gitmodules$", "stb_image\\.h"],
+  "Exclude": ["^\\.gitmodules$", "stb_image\\.h", "^docs/profiling-reports/"],
  "Disable": {
    "IndentSize": true
  }