diff Tools/scripts/patchcheck.py @ 83104:da0d7c05514b 3.3

Fix typo.
author Andrew Svetlov <andrew.svetlov@gmail.com>
date Fri, 05 Apr 2013 10:10:12 +0300
parents d3374d393975
children 26686d227e41
line wrap: on
line diff