1. e69d3fe Use time.time() instead of time.millitimer() by Guido van Rossum · 30 years ago
  2. 58dd035 Added comments. by Guido van Rossum · 32 years ago
  3. e3cafbe Initial revision by Guido van Rossum · 32 years ago