diff options
Diffstat (limited to 'Tools/scripts/patchtool.py')
| -rwxr-xr-x | Tools/scripts/patchtool.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Tools/scripts/patchtool.py b/Tools/scripts/patchtool.py index 65d7b533f196..aa837588bb69 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -210,9 +210,6 @@ def gendiff(path, wrksrc, outfile = ''): if (outfile != ''): outbuf[0] = '--- %s\n' % path_orig outbuf[1] = '+++ %s\n' % path - outbuf.insert(0, '\n') - outbuf.insert(0, '$%s$\n' % Vars.CVS_ID) - outbuf.insert(0, '\n') open(outfile, 'w').writelines(outbuf) else: sys.stdout.writelines(outbuf) |