comparison mx/sanitycheck.py @ 19950:5ee90d1bf6cd

Merge.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 18 Mar 2015 21:36:35 +0100
parents d42e11af980d
children 6df10903c955
comparison
equal deleted inserted replaced
19949:b3a2e8e564ad 19950:5ee90d1bf6cd