diff TOOLS/mphelp_check.py @ 21918:ba25f87420b3

removed useless #if1s added too long time ago
author nicodvb
date Mon, 15 Jan 2007 21:39:30 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff