commit | a0e92a802815d55dafd303b39843ddd2b9784bdb | [log] [tgz] |
---|---|---|
author | Éric Araujo <merwok@netwok.org> | Tue Jul 26 18:01:08 2011 +0200 |
committer | Éric Araujo <merwok@netwok.org> | Tue Jul 26 18:01:08 2011 +0200 |
tree | ec530c8b0dc40d3285975e915e268e9f615f6606 | |
parent | 1ce7b17165c405a0772fb49c3b7143aa6b9ce4cd [diff] [blame] |
Fix missing or wrong shebangs and missing executable bits for scripts (#10318)
diff --git a/Tools/scripts/diff.py b/Tools/scripts/diff.py old mode 100644 new mode 100755 index 52dcab1..9efb078 --- a/Tools/scripts/diff.py +++ b/Tools/scripts/diff.py
@@ -1,3 +1,4 @@ +#!/usr/bin/env python3 """ Command line interface to difflib.py providing diffs in four formats: * ndiff: lists every line and highlights interline changes.