K 10
svn:author
V 6
wblock
K 8
svn:date
V 27
2012-07-17T16:35:35.155014Z
K 7
svn:log
V 272
Consolidate multiple SVN menus into one now that the SVN repository
contains source, doc, and ports.

Based on jgh's diff, but modifies both the static header and the CGI
program that generates the header for dynamic pages.

PR:		169798
Submitted by:	jgh
Reviewed by:	gjb

END