comparison TOOLS/mphelp_check.py @ 25726:831e4eaa70a9

Remove a useless cast
author reimar
date Tue, 15 Jan 2008 09:27:22 +0000
parents 9065db6f98d9
children 8715803f09e8
comparison
equal deleted inserted replaced
25725:be5262a6034f 25726:831e4eaa70a9