diff Tools/scripts/patchcheck.py @ 82082:dde4e035b4aa 3.2

Minor fix of previous commit.
author Serhiy Storchaka <storchaka@gmail.com>
date Sat, 09 Feb 2013 11:51:21 +0200
parents 0ed68fb13b3a
children d3374d393975
line wrap: on
line diff