diff options
| author | Jeff King <peff@peff.net> | 2018-05-15 09:56:50 -0400 |
|---|---|---|
| committer | Jeff King <peff@peff.net> | 2018-05-21 23:50:11 -0400 |
| commit | 641084b618ddbe099f0992161988c3e479ae848b (patch) | |
| tree | 2a7e0bcf72c6477e605093c6f0ba2f972e3670d8 /commit-reach.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 'commit-reach.c')
0 files changed, 0 insertions, 0 deletions