parse-options: remove unused OPT_SET_PTR
commit20d1c6528c76242581e89c271679d35884d916dc
authorMarat Radchenko <marat@slonopotamus.org>
Sun, 30 Mar 2014 11:08:23 +0000 (30 15:08 +0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 31 Mar 2014 20:01:19 +0000 (31 13:01 -0700)
treef79c13d34079feef54f3f7cfdd86af2be7d610f6
parent9ff8ff310b71ab79ffb0ecaa004dec65cec31a45
parse-options: remove unused OPT_SET_PTR

OPT_SET_PTR was never used since its creation at db7244bd
(parse-options new features., 2007-11-07).

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/technical/api-parse-options.txt
parse-options.c
parse-options.h
t/t0040-parse-options.sh
test-parse-options.c