From dcc1795ce3119dcc5d282bd7fd469513857dcf0a Mon Sep 17 00:00:00 2001
From: Peter Pentchev <roam@debian.org>
Date: Fri, 12 Aug 2022 13:12:19 +0300
Subject: [PATCH] Add an EditorConfig definitions file for debian/*.

---
 debian/.editorconfig | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 debian/.editorconfig

diff --git a/debian/.editorconfig b/debian/.editorconfig
new file mode 100644
index 0000000..64d9fad
--- /dev/null
+++ b/debian/.editorconfig
@@ -0,0 +1,32 @@
+# https://editorconfig.org/
+
+root = true
+
+[*]
+end_of_line = lf
+insert_final_newline = true
+charset = utf-8
+
+[*.c]
+indent_style = tab
+tab_size = 8
+
+[*.py]
+indent_style = space
+indent_size = 4
+
+[*.symbols]
+indent_style = space
+indent_size = 1
+
+[{changelog,watch,tox.ini}]
+indent_style = space
+indent_size = 2
+
+[{control,copyright}]
+indent_style = space
+indent_size = 1
+
+[rules]
+indent_style = tab
+tab_size = 8
-- 
2.30.2