chore: Add editorconfig

ezyang · ezyang · commit 59ba2558fd27 · 2025-04-27T14:31:57.000-04:00
Signed-off-by: Edward Z. Yang &lt;ezyang@mit.edu&gt;
diff --git a/.editorconfig b/.editorconfig
@@ -0,0 +1,15 @@
+# https://editorconfig.org/
+
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+indent_style = space
+indent_size = 4
+
+[*.{py}]
+indent_style = space
+indent_size = 4
