mirror of https://github.com/catchorg/Catch2.git
Make scripts/updateDocumentToC.py executable.
On systems where the file system has excute permissions, this script was not marked as executable in a clean git checkout and so could be run without first changing the permissions. Fixed by setting the relevant git flag.
This commit is contained in:
parent
1806b21545
commit
e7189f1e4f
Loading…
Reference in New Issue