diff configure @ 18531:2c4e00fa6f0e

Add mphelp_check.py.
author diego
date Wed, 17 May 2006 12:15:23 +0000
parents eca613999d6c
children 8e92dd0ff93a
line wrap: on
line diff