Merge branch 'mr/opt-set-ptr'
authorJunio C Hamano <gitster@pobox.com>
Tue, 8 Apr 2014 19:00:16 +0000 (12:00 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 8 Apr 2014 19:00:17 +0000 (12:00 -0700)
commitb389e04...31ffe4c725161a082ff748bd33688641
treebb76d76...a8c91617cccb15f15371240360b4fd64copy hash to clipboard (tree)
parented15e20...a36eaf85453915ef5130a770caa8d3e7copy hash to clipboard (diff)
parent20d1c65...8c76242581e89c271679d35884d916dccopy hash to clipboard (diff)
parse-options.c
parse-options.h