diff TOOLS/mphelp_check.py @ 24920:12dc34b2e41c

Simplify argument "parsing"
author reimar
date Sat, 03 Nov 2007 10:37:22 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff