diff Tools/scripts/diff.py @ 70817:dd775b1561ba

Fix markup.
author Georg Brandl <georg@python.org>
date Tue, 14 Jun 2011 21:09:55 +0200
parents ab588ce9e71f
children 7fb0abf928e0 65d5ecefd50d
line wrap: on
line diff