From 95499e8be32e954027852f9620e2547c7e8641b1 Mon Sep 17 00:00:00 2001 From: a dinosaur Date: Wed, 16 Aug 2023 13:17:45 +1000 Subject: [PATCH] editorconfig for github --- .editorconfig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..9936113 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,10 @@ +root = true + +[*.{kt,kts,java}] +end_of_line = lf +insert_final_newline = true +charset = utf-8 +tab_width = 4 +indent_style = tab +indent_size = tab +trim_trailing_whitespace = true