diff options
| author | Marat Radchenko <marat@slonopotamus.org> | 2014-03-30 15:08:23 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-03-31 13:01:19 -0700 |
| commit | 20d1c6528c76242581e89c271679d35884d916dc (patch) | |
| tree | f79c13d34079feef54f3f7cfdd86af2be7d610f6 /git-gui/lib | |
| parent | 9ff8ff310b71ab79ffb0ecaa004dec65cec31a45 (diff) | |
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>
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions