diff Tools/scripts/diff.py @ 71557:65d5ecefd50d 3.2

Fix missing or wrong shebangs and missing executable bits for scripts (#10318)
author Éric Araujo <merwok@netwok.org>
date Tue, 26 Jul 2011 18:01:08 +0200
parents ab588ce9e71f
children ec95b94ea831
line wrap: on
line diff
--- a/Tools/scripts/diff.py	Tue Jul 26 17:36:19 2011 +0200
+++ b/Tools/scripts/diff.py	Tue Jul 26 18:01:08 2011 +0200
@@ -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.