comparison Tools/scripts/diff.py @ 81343:3a7cd8efc19f

#16852: merge with 3.3.
author Ezio Melotti <ezio.melotti@gmail.com>
date Thu, 10 Jan 2013 03:29:45 +0200
parents ec95b94ea831
children 70bd6f7e013b
comparison
equal deleted inserted replaced
81341:be8e6b81284e 81343:3a7cd8efc19f