1. 40b0f3a Use built-in file.read() instead of util.readfile(). by Guido van Rossum · 33 years ago
  2. 261cbb2 Use readfile from util.py. by Guido van Rossum · 33 years ago
  3. c636014 Initial revision by Guido van Rossum · 34 years ago