diff TOOLS/mphelp_check.py @ 23772:bb0341cf9f43

Remove incomplete compilation fix bandaid.
author diego
date Mon, 16 Jul 2007 20:12:43 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff