diff -r 9dc6de46dae3 -r 1266efb7101c .editorconfig
--- a/.editorconfig	Wed Jul 12 22:51:37 2023 +0200
+++ b/.editorconfig	Sat Jul 15 10:22:37 2023 +0200
@@ -1,3 +1,5 @@
+# https://editorconfig.org/
+
 root = true
 
 [*]