From f2864ffc47137d35fe58fc38e311bf31bb18142d Mon Sep 17 00:00:00 2001 From: Sven van Heugten Date: Thu, 1 Jan 2026 19:24:42 +0100 Subject: [PATCH] Add .editorconfig --- .editorconfig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..23e9b2b --- /dev/null +++ b/.editorconfig @@ -0,0 +1,10 @@ +root = true + +[*] +end_of_line = lf + +[*.{fs,fsi,fsx}] +indent_size = 4 +indent_style = space +trim_trailing_whitespace=true +