Merge branch 'jc/waitpid'
[gitweb.git] / Documentation / git-prune.txt
index f694fcbde809b17dc9fd974eba458dd7805dc426..a11e3030943ab3ffd10afa017640826795809d05 100644 (file)
@@ -28,7 +28,7 @@ OPTIONS
        Do not remove anything; just report what it would
        remove.
 
---::
+\--::
        Do not interpret any more arguments as options.
 
 <head>...::