diff TOOLS/mphelp_check.py @ 27360:4787919c418a

Remove obsolete diff hunk that is no longer applied to the code.
author diego
date Fri, 01 Aug 2008 23:09:45 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff