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

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