diff options
Diffstat (limited to 'tools/index.tcl')
| -rw-r--r-- | tools/index.tcl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/index.tcl b/tools/index.tcl index 2e52d60..71329c2 100644 --- a/tools/index.tcl +++ b/tools/index.tcl @@ -8,9 +8,6 @@ # # See the file "license.terms" for information on usage and redistribution # of this file, and for a DISCLAIMER OF ALL WARRANTIES. -# -# RCS: @(#) $Id: index.tcl,v 1.6 2010/07/01 21:28:15 nijtmans Exp $ -# # Global variables used by these scripts: # |