diff TOOLS/mphelp_check.py @ 24634:221ad386f6e4

remove useless int->double conversion
author henry
date Sat, 29 Sep 2007 07:49:02 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff