diff Tools/scripts/patchcheck.py @ 71570:5467abaaf5eb

Merge from 3.2 (#10318, #12255, #12043, #12417 and other fixes)
author Éric Araujo <merwok@netwok.org>
date Fri, 29 Jul 2011 03:11:09 +0200
parents 39fadb0255cd 65d5ecefd50d
children 5993f91598ce
line wrap: on
line diff
--- a/Tools/scripts/patchcheck.py	Thu Jul 28 23:35:29 2011 +0200
+++ b/Tools/scripts/patchcheck.py	Fri Jul 29 03:11:09 2011 +0200
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import re
 import sys
 import shutil