Code

Include rev-list options in git-log manpage.