diff configure @ 26652:41f5023fe2bd

more complete mphelp_check.py command lines, typo, clarifications
author diego
date Wed, 07 May 2008 23:55:03 +0000
parents 20ca4b11cb9c
children e92438e215d9
line wrap: on
line diff