parse-options: remove unused OPT_SET_PTR
authorMarat Radchenko <marat@slonopotamus.org>
Sun, 30 Mar 2014 11:08:23 +0000 (15:08 +0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 31 Mar 2014 20:01:19 +0000 (13:01 -0700)
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>
No differences found