diff configure @ 18539:625b642df80d

Mention new mphelp_check.py script.
author diego
date Wed, 17 May 2006 22:02:26 +0000
parents 8e92dd0ff93a
children 2d996eb065d4
line wrap: on
line diff