diff Tools/scripts/fixheader.py @ 78376:8ace059cdffd

Cleanup findnocoding.py and pysource.py scripts (with infile/infile.close)
author Victor Stinner <victor.stinner@gmail.com>
date Thu, 02 Aug 2012 00:05:41 +0200
parents fcfe324663a6
children
line wrap: on
line diff