diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-01 14:10:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-01 14:10:00 +0100 |
| commit | a49c8d4a2bece25d5afd40495d482df514258563 (patch) | |
| tree | 57827e0fc2050275e6011d2525f5d64518435aa0 /thirdparty/pcre2/src/pcre2_compile.c | |
| parent | b4737877f11e21f0e52e6c8d185fd5e775482ebf (diff) | |
| parent | d29c8ab81b8b32f99e42153c7708c99a9eab3b55 (diff) | |
Merge pull request #33202 from nekomatata/text-edit-search-usability
Improved TextEdit search usability & documentation
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_compile.c')
0 files changed, 0 insertions, 0 deletions