From ee36d5a611ff6a667bd29049dcec392342b9795e Mon Sep 17 00:00:00 2001
From: Jan-Niklas Burfeind <git@aiyionpri.me>
Date: Wed, 1 Feb 2023 00:57:04 +0100
Subject: [PATCH] editorconfig: exclude docs/_built (#2776)

while not present unless built, they are never meant to be checked
---
 .ecrc | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .ecrc

diff --git a/.ecrc b/.ecrc
new file mode 100644
index 000000000..d4fcd0d21
--- /dev/null
+++ b/.ecrc
@@ -0,0 +1,3 @@
+{
+  "Exclude": ["docs/_build"]
+}
-- 
GitLab