diff options
author | Michael Haggerty <mhagger@alum.mit.edu> | 2012-02-11 07:21:01 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-02-12 19:50:39 -0800 |
commit | cf6672edb1eb90ef7f79d37eca08c93a662802a8 (patch) | |
tree | acf89046c371638ab9ef525979cd35a8a68289fd /gitk-git | |
parent | clone: do not add alternate references to extra_refs (diff) | |
download | tgif-cf6672edb1eb90ef7f79d37eca08c93a662802a8.tar.xz |
refs: remove the extra_refs API
The extra_refs provided a kludgy way to create fake references at a
global level in the hope that they would only affect some particular
code path. The last user of this API been rewritten, so strip this
stuff out before somebody else gets the bad idea of using it.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git')
0 files changed, 0 insertions, 0 deletions