Merge commit 'c4b471bd1314933fd726ef987d96c92c68033f99' into main

2023-01-10 10:19:05 -08:00 · 2023-01-10 10:19:05 -08:00 · dcb283dce1
parent b4fac46b8a c4b471bd13
commit dcb283dce1
2 changed files with 4 additions and 1 deletions
--- a/.editorconfig
+++ b/.editorconfig
@ -63,3 +63,6 @@ tab_width = 4

 [{*.bat,*.rc}]
 end_of_line = crlf
+
+[*.cocci]'
+insert_final_newline = true