diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2001-09-26 19:16:51 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2001-09-26 19:16:51 +0000 |
commit | 712db7c5fd485ca28a645efb1d8ef80b0714538d (patch) | |
tree | 6ecd04fb0de3dbb11624adf3b82c46d930de025e /devel.html | |
parent | fc042659aa893a73688a574242aa348085d18102 (diff) |
Replace </BR> with <BR> and remove one dangling </UL>.
weblint clean (only warnings about missing image size).
Diffstat (limited to 'devel.html')
-rw-r--r-- | devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ </TR> <TR> <TD ALIGN="LEFT" VALIGN="TOP" BGCOLOR="#eeeeee"> -<A HREF="/software/hurd/hurd.html"><STRONG>The GNU Hurd</STRONG></A></BR> +<A HREF="/software/hurd/hurd.html"><STRONG>The GNU Hurd</STRONG></A><BR> <BR> <A HREF="/software/hurd/docs.html">Documentation</A><BR> <A HREF="/software/hurd/install.html">Installation</A><BR> |