From fd0ffa25384e67c4c2f1191dfd1068b43670a816 Mon Sep 17 00:00:00 2001
From: Marcus Brinkmann <marcus@gnu.org>
Date: Wed, 26 Sep 2001 23:45:22 +0000
Subject: s/H4/H3/g

---
 devel.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'devel.html')

diff --git a/devel.html b/devel.html
index bee788a9..8ed6d944 100644
--- a/devel.html
+++ b/devel.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#contrib" NAME="TOCcontrib">Contributing</A>
   <LI><A HREF="#tasks" NAME="TOCtasks">Tasks</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H4>
+<H3><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H3>
 <P>
 If you want to contribute to the Hurd, you should first install and
 use it for a while, to become familiar with its features and design.
@@ -47,7 +47,7 @@ mailing list, which is also the place where you can announce your
 intentions, make your proposals and send in your patches.
 <P>
 
-<H4><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H4>
+<H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>
 Developing an operating system is a huge job, with a lot of different
 things to do.  Beside all the obvious ones (writing documentation,
-- 
cgit v1.2.3