From a0e92a802815d55dafd303b39843ddd2b9784bdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89ric=20Araujo?= <merwok@netwok.org>
Date: Tue, 26 Jul 2011 18:01:08 +0200
Subject: Fix missing or wrong shebangs and missing 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..9efb078fb8
--- 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.
-- 
cgit v1.2.1