Merge branch 'js/filter-branch-prime'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Jan 2010 23:40:30 +0000 (15:40 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Jan 2010 23:40:30 +0000 (15:40 -0800)
commitf012d27ff3e37d0412bba34ca53a2d444fd3c563
treeeeccc18f008a522e7e0155f57cf7971a060c0a06
parent3259ada4c79eb1e8213ab44c7ce3ec6f7775cd33
parent7ee6376938919d36a9f8d45dd3ae20f0cb494574
Merge branch 'js/filter-branch-prime'

* js/filter-branch-prime:
  filter-branch: remove an unnecessary use of 'git read-tree'
git-filter-branch.sh