Merge branch 'jj/rev-list-options-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 17 Dec 2013 19:34:41 +0000 (11:34 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 Dec 2013 19:34:41 +0000 (11:34 -0800)
commit7be001d...bf77f8f116556a24878b50190c4745e1
tree18c0601...77b2562db2dc625bdf87fc04897934b3copy hash to clipboard (tree)
parente8fcf70...d499268864021e8aff892a60fac1d6d7copy hash to clipboard (diff)
parent19d6eb4...2cd6f47960737dd66bf1d1866e26986fcopy hash to clipboard (diff)
Documentation/rev-list-options.txt