diff options
| -rw-r--r--[-rwxr-xr-x] | bin/git_sha1_gen.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/git_sha1_gen.py b/bin/git_sha1_gen.py index 7741159816b..c6fbf490302 100755..100644 --- 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. |