Merge branch 'bs/userdiff-php'

diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt
index 78d3f48dfb591a0bb52229b7d16de438e55510e3..173f3fc78599f268c1e483c4d1abe51e95ad0e59 100644 (file)
--- a/Documentation/git-rev-list.txt
+++ b/Documentation/git-rev-list.txt
@@ -21,9 +21,10 @@ SYNOPSIS
             [ \--full-history ]
             [ \--not ]
             [ \--all ]
-            [ \--branches ]
-            [ \--tags ]
-            [ \--remotes ]
+            [ \--branches[=pattern] ]
+            [ \--tags[=pattern] ]
+            [ \--remotes[=pattern] ]
+            [ \--glob=glob-pattern ]
             [ \--stdin ]
             [ \--quiet ]
             [ \--topo-order ]