From 40d3d5c9b176eb85a69cf2b8a043193b96f95f15 Mon Sep 17 00:00:00 2001 From: jjgarcia Date: Mon, 21 Oct 2002 09:25:17 +0000 Subject: [PATCH] Fix bogus link. --- src/doc/head | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/doc/head b/src/doc/head index 8a0c124d2..2244b6316 100644 --- a/src/doc/head +++ b/src/doc/head @@ -25,7 +25,8 @@ Developer's guide Benchmarks Distribution - Mailing list + Mailing list Browse CVS