diff options
| author | David Turner <dturner@twopensource.com> | 2015-07-21 17:04:53 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-07-21 14:08:14 -0700 |
| commit | afcb2e7a3b855887e79d1ee6d70ec80ab6456a64 (patch) | |
| tree | 5c4413fe1e3a15342dee8e118dfa86c9e1f106dc /git-gui/lib/win32_shortcut.js | |
| parent | abd0cd3a3018e1c4e9e4437fb3911d6658e99fec (diff) | |
git-reflog: add exists command
This is necessary because alternate ref backends might store reflogs
somewhere other than .git/logs. Code that now directly manipulates
.git/logs should instead go through git-reflog.
Signed-off-by: David Turner <dturner@twopensource.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib/win32_shortcut.js')
0 files changed, 0 insertions, 0 deletions