From 4ce89f77b57d7f9254148a13e28606bd2dc1252f Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Fri, 12 Mar 2010 12:37:42 +0100
Subject: [PATCH] <pre> really wants to be inside <p>, eh?

---
 header.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/header.html b/header.html
index 085367c..5de7afd 100644
--- a/header.html
+++ b/header.html
@@ -21,7 +21,7 @@ I'd be especially grateful.</p>
 snippet to <tt>~/.gitconfig</tt> and using the third clone URL listed for each
 project:</p>
 
-<pre>
+<p><pre>
 [url "git://git.madduck.net/madduck/"]
   insteadOf = madduck:
-</pre>
+</pre></p>
-- 
2.39.2