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