Skip to content

Commit

Permalink
Make scripts/updateDocumentToC.py executable.
Browse files Browse the repository at this point in the history 
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.
  • Loading branch information
@horenmar
Richard Ash authored and horenmar committed Jun 18, 2020
1 parent 1806b21 commit e7189f1
Showing 1 changed file with 0 additions and 0 deletions.
Empty file modified scripts/updateDocumentToC.py
100644 → 100755
View file
Empty file.

0 comments on commit e7189f1

Please sign in to comment.