From fa6623d85af192c8aa1d0380d4a5452e0779c64e Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Tue, 20 May 2025 18:11:55 +0200
Subject: [PATCH] doc: Remove file name section

This is already checked by test/lint/lint-files.py

There is no need to reword all linters into the dev notes.
---
 doc/developer-notes.md | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/doc/developer-notes.md b/doc/developer-notes.md
index 5c99a7a33e7..ff6300cc08c 100644
--- a/doc/developer-notes.md
+++ b/doc/developer-notes.md
@@ -1133,12 +1133,6 @@ Source code organization
 
   - *Rationale*: Shorter and simpler header files are easier to read and reduce compile time.
 
-- Use only the lowercase alphanumerics (`a-z0-9`), underscore (`_`) and hyphen (`-`) in source code filenames.
-
-  - *Rationale*: `grep`:ing and auto-completing filenames is easier when using a consistent
-    naming pattern. Potential problems when building on case-insensitive filesystems are
-    avoided when using only lowercase characters in source code filenames.
-
 - Every `.cpp` and `.h` file should `#include` every header file it directly uses classes, functions or other
   definitions from, even if those headers are already included indirectly through other headers.