* time.time() returns a float which python doesn't like to divide. Fixed.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 3 Jan 2007 20:15:06 +0000 (20:15 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 3 Jan 2007 20:15:06 +0000 (20:15 +0000)
* Made email slightly more readable.


No differences found