Merge branch 'jc/prune-all' into next
commit97a73875d6fcd4a01024586c8f25b3845d8090f4
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 22:31:44 +0000 (26 15:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 22:31:44 +0000 (26 15:31 -0700)
tree1b4093ab982b611f731d0ee04b7c2174010e7a6f
parent36368a171cfa5f17faa727136c068577fba1097a
parent27ec394a9701675762f02e9af464be2c297c6cf1
Merge branch 'jc/prune-all' into next

* jc/prune-all:
  prune: introduce OPT_EXPIRY_DATE() and use it
Documentation/technical/api-parse-options.txt
parse-options.h