diff mxtool/.pydevproject @ 16733:444ef6194ce3

option for dumping only partial evaluation results
author Michael Haupt <michael.haupt@oracle.com>
date Fri, 08 Aug 2014 10:44:37 -0700
parents 527724d26036
children
line wrap: on
line diff