makefiles: rename as requested in issues tracker (#11380)

2023-08-10 21:13:21 +03:00 · 2021-09-04 06:32:42 -05:00
parent 4503ff337b
commit 0115a51de4
5 changed files with 161 additions and 160 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -20,5 +20,5 @@ trim_trailing_whitespace = false
 [*.{txt,out}]
 insert_final_newline = false

-[Makefile]
+[{Makefile,GNUmakefile}]
 indent_style = tab