git-diff-tree: fix output with just "--pretty".
[git.git] / Documentation / git-pull-script.txt
2005-05-11 Petr BaudisMerge ... http://members.cox.net/junkio/git-jc.git
2005-05-10 David Greaves[PATCH 1/4] split core-git.txt and update