From 318db06a494fa8a707aa04eab029abb74932885e Mon Sep 17 00:00:00 2001 From: nsfisis Date: Wed, 20 Aug 2025 00:26:48 +0900 Subject: chore: add .editorconfig --- .editorconfig | 10 ++++++++++ io.c | 5 ++--- 2 files changed, 12 insertions(+), 3 deletions(-) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..13a634c --- /dev/null +++ b/.editorconfig @@ -0,0 +1,10 @@ +root = true + +[*] +charset = utf-8 +end_of_line = lf +indent_size = 4 +indent_style = space +insert_final_newline = true +max_line_length = 120 +trim_trailing_whitespace = true diff --git a/io.c b/io.c index dcfbd08..5cd5e86 100644 --- a/io.c +++ b/io.c @@ -62,9 +62,8 @@ char infile_peek_char(InFile* f) { if (c == '\\') { char c2 = f->buf[f->pos + 1]; // C23: 5.1.1.2 - // A source file that is not empty shall end in a new-line character, - // which shall not be immediately preceded by a backslash character - // before any such splicing takes place. + // A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by + // a backslash character before any such splicing takes place. if (c2 == '\0') { fatal_error("%s:%d: expected, but got ", f->loc.filename, f->loc.line); } -- cgit v1.2.3-70-g09d2