diff Tools/scripts/patchcheck.py @ 81922:4ab386b00aaf

Fix tests for issue #11159.
author Serhiy Storchaka <storchaka@gmail.com>
date Sat, 02 Feb 2013 12:17:50 +0200
parents d3374d393975
children 26686d227e41
line wrap: on
line diff