diff mx/sanitycheck.py @ 17124:7b3ece800806

Using getKind().format is unnecessary
author Christian Wimmer <christian.wimmer@oracle.com>
date Tue, 16 Sep 2014 18:36:19 -0700
parents fdb912b1eb7b
children 03eef43d364f
line wrap: on
line diff