diff TOOLS/mphelp_check.py @ 35923:fc2fd624ecc0

Move headers only required for the MGA code below MGA ifdef. This allows compiling the tool on systems that do not support MGA.
author diego
date Tue, 19 Mar 2013 16:50:27 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff