| commit | 0fb681ea5065bbdba792e04d46e02be088e95ed6 | [log] [tgz] |
|---|---|---|
| author | Éric Araujo <merwok@netwok.org> | Fri Jul 29 12:06:13 2011 +0200 |
| committer | Éric Araujo <merwok@netwok.org> | Fri Jul 29 12:06:13 2011 +0200 |
| tree | cfb3178a4b6661d3fdd34b88bd259e041d984b47 | |
| parent | 299172bdbaaf767cbe4eb1ae425c6cfc9173f953 [diff] [blame] |
Fix missing or shebangs and 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..513e2a7 --- a/Tools/scripts/diff.py +++ b/Tools/scripts/diff.py
@@ -1,3 +1,4 @@ +#!/usr/bin/env python """ Command line interface to difflib.py providing diffs in four formats: * ndiff: lists every line and highlights interline changes.