diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-07-03 17:39:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-03 17:39:17 +0200 |
commit | 165f3c31a5850b47f46d535e87783dd75db31e16 (patch) | |
tree | ebd9164e1b79010b04564908c3c0ef87810df2ae /thirdparty/pcre2/src/config.h | |
parent | deb005c96656d95c5853d3c7956fca2672892be0 (diff) | |
parent | bc666c42ffba2497516f361e397b276205a5f9ad (diff) |
Merge pull request #19166 from Grula/issue-18779
Changed "Syntax Menu" into radio Menu
Diffstat (limited to 'thirdparty/pcre2/src/config.h')
0 files changed, 0 insertions, 0 deletions