Merge branch 'jc/notes-batch-removal'
authorJunio C Hamano <gitster@pobox.com>
Mon, 30 May 2011 06:51:26 +0000 (23:51 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 30 May 2011 06:51:26 +0000 (23:51 -0700)
* jc/notes-batch-removal:
  show: --ignore-missing
  notes remove: --stdin reads from the standard input
  notes remove: --ignore-missing
  notes remove: allow removing more than one

1  2 
revision.c
revision.h

diff --cc revision.c
Simple merge
diff --cc revision.h
Simple merge