mirror of
https://github.com/catchorg/Catch2.git
synced 2025-10-28 13:41:53 +01:00
Make scripts executable
This commit is contained in:
0
tools/scripts/checkDuplicateFilenames.py
Normal file → Executable file
0
tools/scripts/checkDuplicateFilenames.py
Normal file → Executable file
Reference in New Issue
Block a user