diff TOOLS/mphelp_check.py @ 36137:5302a565ada7

Simplify and clean up code.
author reimar
date Sat, 04 May 2013 21:41:37 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff