diff options
| -rw-r--r-- | .editorconfig | 10 | ||||
| -rw-r--r-- | io.c | 5 |
2 files changed, 12 insertions, 3 deletions
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 @@ -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: <new-line> expected, but got <eof>", f->loc.filename, f->loc.line); } |