diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-06-13 13:19:42 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-06-13 13:19:42 -0700 |
commit | 813a3a2ab7b29ad003fc6b8e9b3c4b9421dd36d5 (patch) | |
tree | a0d389c9cfd0b3a0956901d752e314e31d752e4a /trace.c | |
parent | Merge branch 'jk/help-unknown-ref-fix' (diff) | |
parent | update-server-info: avoid needless overwrites (diff) | |
download | tgif-813a3a2ab7b29ad003fc6b8e9b3c4b9421dd36d5.tar.xz |
Merge branch 'ew/update-server-info'
"git update-server-info" learned not to rewrite the file with the
same contents.
* ew/update-server-info:
update-server-info: avoid needless overwrites
Diffstat (limited to 'trace.c')
0 files changed, 0 insertions, 0 deletions