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