diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:15 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-06-17 10:15:15 -0700 |
| commit | 63b6b4b7e107d5b40620d0b3dc3efff0284dfb7b (patch) | |
| tree | 57735557a3950c3dcba0f3d8c8aedb705c2ff63e /mergetools/smerge | |
| parent | Merge branch 'es/grep-require-name-when-needed' (diff) | |
| parent | server-info: do not list unlinked packs (diff) | |
| download | tgif-63b6b4b7e107d5b40620d0b3dc3efff0284dfb7b.tar.xz | |
Merge branch 'ew/server-info-remove-crufts'
"git update-server-info" used to leave stale packfiles in its
output, which has been corrected.
* ew/server-info-remove-crufts:
server-info: do not list unlinked packs
Diffstat (limited to 'mergetools/smerge')
0 files changed, 0 insertions, 0 deletions