diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-03-17 15:02:23 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-03-17 15:02:23 -0700 |
| commit | 16a4bf10359edf34a7c62d6466dab2e33060d332 (patch) | |
| tree | 109910396fb1d1f2339976bb23532f8306446f03 /commit-graph.c | |
| parent | Merge branch 'jk/push-option-doc-markup-fix' into maint (diff) | |
| parent | check-ignore: fix documentation and implementation to match (diff) | |
| download | git-16a4bf10359edf34a7c62d6466dab2e33060d332.tar.gz git-16a4bf10359edf34a7c62d6466dab2e33060d332.zip | |
Merge branch 'en/check-ignore' into maint
"git check-ignore" did not work when the given path is explicitly
marked as not ignored with a negative entry in the .gitignore file.
* en/check-ignore:
check-ignore: fix documentation and implementation to match
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions