.editorconfig
changeset 13195 1266efb7101c
parent 11710 56feb0cf7052
child 13196 4a107a63b0a3
--- 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
 
 [*]