diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-17 00:37:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-17 00:37:01 +0100 |
| commit | b44cb4e3b9b573a3cbbd6f71aff81e6c3465d84b (patch) | |
| tree | b544d83d79190fa0c397d12847902e1bdaaaf668 /thirdparty/pcre2 | |
| parent | d629fd9a361c8eb55960d3653a878115a2662210 (diff) | |
| parent | 3babb19515465989814baeefa3cb200161eee1c1 (diff) | |
Merge pull request #12583 from volzhs/select-multiple-files
Not to be slow when select multiple files
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions