Merge branch 'jc/notes-batch-removal'
commit3d109dd8ef012eac37702a2afa980b545ac08467
authorJunio C Hamano <gitster@pobox.com>
Mon, 30 May 2011 06:51:26 +0000 (29 23:51 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 30 May 2011 06:51:26 +0000 (29 23:51 -0700)
tree34f28c520823af5b4982b6ad8ae271ae3d6e6952
parent01f9ffbd5d3f480c9a524780d86fa0d4134841af
parentcc243c3cebd58d06bc4e064b08fa9c3fdd565250
Merge branch 'jc/notes-batch-removal'

* 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
revision.c
revision.h