diff Tools/scripts/diff.py @ 82082:dde4e035b4aa 3.2

Minor fix of previous commit.
author Serhiy Storchaka <storchaka@gmail.com>
date Sat, 09 Feb 2013 11:51:21 +0200
parents 65d5ecefd50d
children ec95b94ea831
line wrap: on
line diff