diff Tools/scripts/diff.py @ 71588:7fb0abf928e0 2.7

Fix missing or shebangs and executable bits for scripts (#10318)
author Éric Araujo <merwok@netwok.org>
date Fri, 29 Jul 2011 12:06:13 +0200
parents ab588ce9e71f
children
line wrap: on
line diff
--- a/Tools/scripts/diff.py	Tue Jul 26 16:54:24 2011 +0200
+++ b/Tools/scripts/diff.py	Fri Jul 29 12:06:13 2011 +0200
@@ -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.