comparison Tools/scripts/patchcheck.py @ 69110:110bb604bc2f

#11282: merge with 3.2.
author Ezio Melotti
date Sun, 03 Apr 2011 17:39:19 +0300
parents 3c9232a684ae
children 65d5ecefd50d 45e7c067332e
comparison
equal deleted inserted replaced
69108:ca5932a51a9b 69110:110bb604bc2f