diff options
Diffstat (limited to 'tools/Makefile.in')
| -rw-r--r-- | tools/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index cf23296..8f453da 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -6,7 +6,7 @@ # # HTML: 1. Build the html target on Unix -# RCS: @(#) $Id: Makefile.in,v 1.10 2007/11/05 19:37:07 andreas_kupries Exp $ +# RCS: @(#) $Id: Makefile.in,v 1.11 2007/12/13 15:28:40 dgp Exp $ TCL = tcl@TCL_VERSION@ TK = tk@TCL_VERSION@ |