!: consistent page title and filename (#16725)

This commit is contained in:
Sebastiaan Speck
2025-06-02 18:51:32 +02:00
committed by GitHub
parent 4fd9ddd077
commit 2d0f2d0b59
14 changed files with 14 additions and 13 deletions
+1 -1
View File
@@ -10,7 +10,7 @@ OUTPUT_FILE="inconsistent-filenames.txt"
rm -f "$OUTPUT_FILE"
touch "$OUTPUT_FILE"
IGNORE_LIST=("caret" "comma" "curly brace" "dollar sign" "dot" "exclamation mark" "jc.json" "tilde" "percent sign" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win")
IGNORE_LIST=("caret" "comma" "curly brace" "dollar sign" "dot" "jc.json" "tilde" "percent sign" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win")
set -e