From a34dfb12502883a5b6caca184829e81fe23ad68c Mon Sep 17 00:00:00 2001
From: Jan-Niklas Burfeind <git@aiyionpri.me>
Date: Mon, 30 Jan 2023 22:37:09 +0100
Subject: [PATCH] editorconfig: exclude docs/_built

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 00000000..d4fcd0d2
--- /dev/null
+++ b/.ecrc
@@ -0,0 +1,3 @@
+{
+  "Exclude": ["docs/_build"]
+}