diff dgl/rlgwebd-compat.patch @ 50:4549b3c0cd28

rlgall.py: add time selection to Game.getHigh(). Optional inittime and finaltime parameters set the range of time over which to calculate high scores.
author John "Elwin" Edwards
date Fri, 28 Mar 2014 09:33:49 -0700
parents ce26225f7d9d
children c2127bc98694
line wrap: on
line diff