comparison TOOLS/mphelp_check.py @ 33066:fd4d66a6add6

Don't start GUI in case of window name error.
author ib
date Wed, 30 Mar 2011 11:06:57 +0000
parents 9065db6f98d9
children 8715803f09e8
comparison
equal deleted inserted replaced
33065:83c226105086 33066:fd4d66a6add6