Remove a duplicate title element.

This commit is contained in:
Martin Heinen 2003-08-20 13:02:17 +00:00
parent a7233c083d
commit da4f549e69
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=17932

View file

@ -4408,8 +4408,6 @@ doc/zh_*</screen>
<filename>www/</filename> trees are not branched.</para>
<variablelist>
<title>Branch Tags</title>
<varlistentry>
<term>HEAD</term>