Code

Merge branch 'jk/filter-branch-require-clean-work-tree' into maint
authorJunio C Hamano <gitster@pobox.com>
Sun, 16 Oct 2011 03:46:38 +0000 (20:46 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 16 Oct 2011 03:46:38 +0000 (20:46 -0700)
* jk/filter-branch-require-clean-work-tree:
  filter-branch: use require_clean_work_tree

1  2 
git-filter-branch.sh

Simple merge