diff options
author | Han-Wen Nienhuys <hanwen@google.com> | 2020-05-20 17:36:11 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-06-09 13:48:36 -0700 |
commit | 10f007c37031df64a5786f032f52fd1327920e0d (patch) | |
tree | 01aaa7a3391f3fbda50cafedd820794269f3a88e /t/t4101/diff.3-1 | |
parent | reftable: file format documentation (diff) | |
download | tgif-10f007c37031df64a5786f032f52fd1327920e0d.tar.xz |
reftable: clarify how empty tables should be written
The format allows for some ambiguity, as a lone footer also starts
with a valid file header. However, the current JGit code will barf on
this. This commit codifies this behavior into the standard.
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4101/diff.3-1')
0 files changed, 0 insertions, 0 deletions