view mx.cmd @ 10677:3bbe14e492fb

Introduce TruffleGraphMaxNodes option with default value 10000.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 09 Jul 2013 20:06:15 +0200
parents 4023bae16d02
children 46c51b5d0abb
line wrap: on
line source

python mxtool/mx.py %*