diff TOOLS/mphelp_check.py @ 33140:d57654eb9f31

Add -benchmark to recommended fast dumping options.
author reimar
date Wed, 06 Apr 2011 17:49:15 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff