From 8a7c4978d99737d8d47148361906ce1f03912a75 Mon Sep 17 00:00:00 2001 From: Michal Sojka Date: Tue, 15 May 2018 09:41:25 +0200 Subject: [PATCH] Add .editorconfig --- .editorconfig | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..6310381 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,13 @@ +root = true + +[*] +end_of_line = lf +insert_final_newline = true +trim_trailing_whitespace = true + +[jailhouse/*.{c,h}] +indent_style = tab +indent_size = 8 + +[Makefile] +indent_style = tab -- 2.39.2