diff options
Diffstat (limited to 'make-tapreg-dotc')
| -rwxr-xr-x | make-tapreg-dotc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-tapreg-dotc b/make-tapreg-dotc index f2acb5994d..aa5e6931ea 100755 --- a/make-tapreg-dotc +++ b/make-tapreg-dotc @@ -1,7 +1,7 @@ #! /bin/sh # -# $Id: make-tapreg-dotc,v 1.4 2004/05/03 18:53:57 guy Exp $ +# $Id$ # # |