beremiz

fix runtime.py filename case to avoid problem on multi-platform

2009-09-18, greg
9b1801ef99b5
fix runtime.py filename case to avoid problem on multi-platform
from python import *