diff options
| -rw-r--r-- | Documentation/revisions.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Documentation/revisions.txt b/Documentation/revisions.txt index 728bd0959f..a7fbcd72cd 100644 --- a/Documentation/revisions.txt +++ b/Documentation/revisions.txt @@ -330,14 +330,14 @@ with each step in the notation's expansion and selection carefully spelt out: Args Expanded arguments Selected commits - D G H D - D F G H I J D F - ^G D H D - ^D B E I J F B + D G H D + D F G H I J D F + ^G D H D + ^D B E I J F B + ^D B C E I J F B C + C I J F C B..C = ^B C C B...C = B ^F C G H D E B C - ^D B C E I J F B C - C I J F C C^@ = C^1 = F I J F B^@ = B^1 B^2 B^3 |