rev-list: document --reflog option
commit41d018d146f03f7b9320c7492d7cbde5df9f68a1
authorJeff King <peff@peff.net>
Wed, 15 Oct 2014 22:43:28 +0000 (15 18:43 -0400)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 Oct 2014 22:07:07 +0000 (19 15:07 -0700)
treeebabdacbb6ed9529e9c891770fb19341e83978e1
parent458a7e508c57afb6bbd4177fead21c63a0a20131
rev-list: document --reflog option

This is mostly used internally, but it does not hurt to
explain it.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/rev-list-options.txt