Andrew M. Kuchling
|
946c53ed7f
|
Run these demo scripts through reindent.py to give them 4-space indents. I've verified that their output is unchanged.
|
2003-04-24 17:13:18 +00:00 |
Guido van Rossum
|
e69d3fec87
|
Use time.time() instead of time.millitimer()
|
1994-02-17 12:36:58 +00:00 |
|
Guido van Rossum
|
62326f2108
|
builtin -> __builtin__
|
1994-01-26 16:04:38 +00:00 |
|
Guido van Rossum
|
7565b93414
|
*** empty log message ***
|
1993-12-17 14:23:52 +00:00 |
|
Guido van Rossum
|
e876949f2b
|
Initial revision
|
1992-08-13 12:14:11 +00:00 |