diff options
author | Jeff King <peff@peff.net> | 2018-05-15 16:56:50 +0300 |
---|---|---|
committer | Jeff King <peff@peff.net> | 2018-05-22 06:50:11 +0300 |
commit | 641084b618ddbe099f0992161988c3e479ae848b (patch) | |
tree | 2a7e0bcf72c6477e605093c6f0ba2f972e3670d8 /builtin/update-index.c | |
parent | e19e5e66d691bdeeeb5e0ed2ffcecdd7666b0d7b (diff) |
verify_dotfile: mention case-insensitivity in comment
We're more restrictive than we need to be in matching ".GIT"
on case-sensitive filesystems; let's make a note that this
is intentional.
Signed-off-by: Jeff King <peff@peff.net>
Diffstat (limited to 'builtin/update-index.c')
0 files changed, 0 insertions, 0 deletions