diff mxtool/.pylintrc @ 16607:07de1d5d53ef

make scheduling before dumping optional to speed up dumping
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Mon, 28 Jul 2014 13:52:26 -0700
parents e1ce6c66f56e
children 1bac2ca1c2be
line wrap: on
line diff