diff options
| author |  Beat Bolli <dev+git@drbeat.li> | 2019-08-18 22:17:27 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2019-08-19 15:24:48 -0700 |
| commit | c581e4a7499b9e1089847dbbc057afbef1ed861e (patch) | |
| tree | 265e977053958f165e2e14ca7e807c1f24d45354 /Documentation/technical/commit-graph-format.txt | |
| parent | grep: do not enter PCRE2_UTF mode on fixed matching (diff) | |
| download | tgif-c581e4a7499b9e1089847dbbc057afbef1ed861e.tar.xz | |
grep: under --debug, show whether PCRE JIT is enabled
This information is useful and not visible anywhere else, so show it.
Signed-off-by: Beat Bolli <dev+git@drbeat.li>
Suggested-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical/commit-graph-format.txt')
0 files changed, 0 insertions, 0 deletions