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 /gitweb/static/js/lib/common-lib.js | |
| parent | 870eea81669bfff4333b37b11fedd870cd05fd90 (diff) | |
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 'gitweb/static/js/lib/common-lib.js')
0 files changed, 0 insertions, 0 deletions