comparison TOOLS/mphelp_check.py @ 18743:087415a46292

respect saved default for cache enable when nothing specified on command-line
author reimar
date Sat, 17 Jun 2006 20:54:27 +0000
parents fe17e7634db1
children 9065db6f98d9
comparison
equal deleted inserted replaced
18742:da5ceabe9a43 18743:087415a46292