diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-11-14 05:59:02 -0800 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-11-16 11:54:01 +0900 |
| commit | 44004872c891ae1b06cd3aff9c597828558ddedb (patch) | |
| tree | 31b2397f49e02ec1bd741cdce0fd25b6ee725b47 /builtin/diff-files.c | |
| parent | Tenth batch for 2.20 (diff) | |
| download | tgif-44004872c891ae1b06cd3aff9c597828558ddedb.tar.xz | |
config: report a bug if git_dir exists without commondir
This did happen at some stage, and was fixed relatively quickly. Make
sure that we detect very quickly, too, should that happen again.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/diff-files.c')
0 files changed, 0 insertions, 0 deletions