diff Tools/scripts/diff.py @ 63009:8635523ef5c6

#9258: fix copy-paste errors.
author Georg Brandl <georg@python.org>
date Wed, 14 Jul 2010 08:00:22 +0000
parents ab588ce9e71f
children 7fb0abf928e0 65d5ecefd50d
line wrap: on
line diff