diff options
Diffstat (limited to 'make-reg-dotc.py')
-rwxr-xr-x | make-reg-dotc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-reg-dotc.py b/make-reg-dotc.py index 503e1060c5..5c1411cb9c 100755 --- a/make-reg-dotc.py +++ b/make-reg-dotc.py @@ -9,7 +9,7 @@ # seds for each input file. I wrote this python version so that # less processes would have to be started. # -# $Id: make-reg-dotc.py,v 1.4 2003/07/21 07:05:44 girlich Exp $ +# $Id$ import os import sys |