diff options
| -rw-r--r-- | Doc/tools/rewrite.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/rewrite.py b/Doc/tools/rewrite.py index f2c1b80..1acdd99 100644 --- a/Doc/tools/rewrite.py +++ b/Doc/tools/rewrite.py @@ -19,7 +19,7 @@ def get_info(fp): date = time.strftime("%B %d, %Y", time.localtime(time.time())) d["DATE"] = date return d - + def main(): s = sys.stdin.read() |