From 0fb681ea5065bbdba792e04d46e02be088e95ed6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89ric=20Araujo?= Date: Fri, 29 Jul 2011 12:06:13 +0200 Subject: Fix missing or shebangs and executable bits for scripts (#10318) --- Tools/scripts/diff.py | 1 + 1 file changed, 1 insertion(+) mode change 100644 => 100755 Tools/scripts/diff.py (limited to 'Tools/scripts/diff.py') diff --git a/Tools/scripts/diff.py b/Tools/scripts/diff.py old mode 100644 new mode 100755 index 52dcab1ff9..513e2a7112 --- 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. -- cgit v1.2.1