diff options
author | Han-Wen Nienhuys <hanwen@google.com> | 2020-08-21 16:59:34 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-08-21 11:20:10 -0700 |
commit | 3f9f1acccf32fb1feda0f7ea8533bed2b594b1a0 (patch) | |
tree | 1f14519211659fab9cf1af99750e09efcf722f25 /git-gui/po/.gitignore | |
parent | refs: read FETCH_HEAD and MERGE_HEAD generically (diff) | |
download | tgif-3f9f1acccf32fb1feda0f7ea8533bed2b594b1a0.tar.xz |
refs: make refs_ref_exists public
This will be necessary to replace file existence checks for pseudorefs.
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po/.gitignore')
0 files changed, 0 insertions, 0 deletions