diff options
| -rw-r--r-- | Tools/make_index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/make_index b/Tools/make_index index 153fb6b3b099..f9cddb25902f 100644 --- a/Tools/make_index +++ b/Tools/make_index @@ -1,6 +1,6 @@ #!/usr/bin/perl # -# $Id: make_index,v 1.5 1999/04/28 06:20:23 asami Exp $ +# $FreeBSD$ # # Written to speed-up INDEX file generation. The new scheme # basically visits each port once and writes out each port's |