Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 8 Aug 2011 19:24:16 +0000 (12:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 8 Aug 2011 19:24:16 +0000 (12:24 -0700)
commitfca64c80fb61147215de89c2f9391ea0f5576b35
treec96e6ba8440ee4a5865381a550c47f0766a3d276
parente7a85be3cfc4ee017f59f1d1f8ceb63d7c88c9c8
parent0906f6e14e6e9df0c4ea4edb08ebe9f5d16c2391
Merge branch 'maint'

* maint:
  filter-branch: Export variable `workdir' for --commit-filter
  Documentation/Makefile: add *.pdf to `clean' target
  Documentation: ignore *.pdf files