git.99rst.org / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c1462b8 209df26)
Merge branch 'nd/rev-list-all-includes-HEAD-doc'
authorJunio C Hamano <redacted>
Fri, 10 Feb 2017 20:52:27 +0000 (12:52 -0800)
committerJunio C Hamano <redacted>
Fri, 10 Feb 2017 20:52:27 +0000 (12:52 -0800)
Doc update.

* nd/rev-list-all-includes-HEAD-doc:
  rev-list-options.txt: update --all about HEAD


Trivial merge
git clone https://git.99rst.org/PROJECT