Andrew's git / gitweb.git / diff
?
Merge branch 'jm/doc-ref-prune'
authorJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2013 02:21:15 +0000 (19:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Jul 2013 02:21:15 +0000 (19:21 -0700)
* jm/doc-ref-prune:
Documentation: fix git-prune example usage
Documentation: remove --prune from pack-refs examples

Trivial merge