From 825d078e6e60381d09b8a13b2f34e2bc3054fb4f Mon Sep 17 00:00:00 2001
From: "Kyle J. McKay" <mackyle@gmail.com>
Date: Wed, 10 Jul 2013 21:28:35 -0700
Subject: [PATCH] mob.html: add missing <p></p> around some text

---
 html/mob.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/mob.html b/html/mob.html
index a17477c..10149e4 100644
--- a/html/mob.html
+++ b/html/mob.html
@@ -56,7 +56,7 @@ Have fun and enjoy, you are making the history!</p>
 @@ifssh@@
 <h3>Pushing to the mob branch with ssh</h3>
 
-Nothing special is needed except to remember to set the mob user name in the push url:
+<p>Nothing special is needed except to remember to set the mob user name in the push url:</p>
 
 <blockquote><pre>
 cd /tmp
-- 
2.11.4.GIT