diff options
| author | Han-Wen Nienhuys <hanwen@google.com> | 2022-02-21 18:46:10 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-02-23 13:36:26 -0800 |
| commit | 73a4c188b77acbfdf25641e2bb4d1600c45338ec (patch) | |
| tree | 1881331ae1c2288919531af09354f900321c6e53 /git-gui/lib/win32_shortcut.js | |
| parent | 3c443a02a9f98227fa5c22935d88bcf68cfeaeec (diff) | |
reftable: rename writer_stats to reftable_writer_stats
This function is part of the reftable API, so it should use the
reftable_ prefix
Signed-off-by: Han-Wen Nienhuys <hanwen@google.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