Code

Merge branch 'jl/maint-pull-tags-doc' into next
authorJunio C Hamano <gitster@pobox.com>
Fri, 5 Nov 2010 18:39:06 +0000 (11:39 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 5 Nov 2010 18:39:06 +0000 (11:39 -0700)
* jl/maint-pull-tags-doc:
  pull: Remove --tags option from manpage


Trivial merge