Merge branch 'jc/tag-contains-with'
commit884377c128925e7aa43eafebd8d4d0ba27dafe67
authorJunio C Hamano <gitster@pobox.com>
Tue, 18 Mar 2014 20:51:14 +0000 (18 13:51 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 18 Mar 2014 20:51:15 +0000 (18 13:51 -0700)
treea70f6ff1e49532dbda31a2fb00b8e123ba3ab00c
parent9cf0137bdf01d3fe4fdf4cd4b1ad605eebdfb1de
parentb0bc1365c29ea3328329ad45aba9e86cd7575af6
Merge branch 'jc/tag-contains-with'

* jc/tag-contains-with:
  tag: grok "--with" as synonym to "--contains"
builtin/tag.c