Andrew's git / gitweb.git / diff
?
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)
* maint:
filter-branch: Export variable `workdir' for --commit-filter
Documentation/Makefile: add *.pdf to `clean' target
Documentation: ignore *.pdf files

Trivial merge