diff options
Diffstat (limited to 'misc/scripts/file_format.sh')
| -rwxr-xr-x | misc/scripts/file_format.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/scripts/file_format.sh b/misc/scripts/file_format.sh index e6e1fe2..3bb4d8d 100755 --- a/misc/scripts/file_format.sh +++ b/misc/scripts/file_format.sh @@ -20,6 +20,8 @@ while IFS= read -rd '' f; do continue elif [[ "$f" == "godot-cpp"* ]]; then continue + elif [[ "$f" == "misc/patches"* ]]; then + continue fi # Ensure that files are UTF-8 formatted. recode UTF-8 "$f" 2> /dev/null |