Richard Ash a862924601 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.

2020-07-22 21:43:16 +02:00

14 KiB

Executable File

Raw Blame History

View Raw