Merge branch 'jl/maint-pull-tags-doc'
authorJunio C Hamano <gitster@pobox.com>
Wed, 17 Nov 2010 23:02:35 +0000 (15:02 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 17 Nov 2010 23:02:35 +0000 (15:02 -0800)
* jl/maint-pull-tags-doc:
  pull: Remove --tags option from manpage


Trivial merge