Merge branch 'jc/clean' into next

diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt
index 131e445747db6f9d573207ba5395b0264f983efd..b333f510454fff9dc6828b62ca8a0b0dc4c116f6 100644 (file)
--- a/Documentation/git-clone.txt
+++ b/Documentation/git-clone.txt
@@ -101,7 +101,7 @@ OPTIONS
        is not allowed.
 
 Examples
-~~~~~~~~
+--------
 
 Clone from upstream::
 +