case insensitive patch

2025-09-30 13:57:43 +02:00
parent b7e8c7cb5f
commit d22e262251
10 changed files with 66 additions and 7 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1,5 @@
+*.o
+
+dmenu
+
+*.orig