diff --git a/bin/git_sha1_gen.py b/bin/git_sha1_gen.py old mode 100755 new mode 100644 index 7741159816b..c6fbf490302 --- a/bin/git_sha1_gen.py +++ b/bin/git_sha1_gen.py @@ -1,5 +1,3 @@ -#!/usr/bin/env python - """ Generate the contents of the git_sha1.h file. The output of this script goes to stdout.