diff Tools/scripts/patchcheck.py @ 72582:175cd2a51ea9

#13076: merge with 3.2.
author Ezio Melotti
date Sun, 02 Oct 2011 12:47:10 +0300
parents d403eaec64df
children 1bdca2bcba6d
line wrap: on
line diff