diff TOOLS/mphelp_check.py @ 26713:b315e4b90eb6

Remove pointless changelog from file header.
author diego
date Mon, 12 May 2008 08:58:25 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff