diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-06-19 12:53:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 12:53:33 +0200 |
commit | 3eab3c10b554013d4e37d1e9739bfff4e278acd0 (patch) | |
tree | 216b6a18d4fb204662841b31b6c154320f27fb87 /thirdparty/pcre2 | |
parent | a8132b2fab599254d8afb68568141c7615f9afb2 (diff) | |
parent | 2b6bbf8dceb7e31039d23aab05cde447225e1f7c (diff) |
Merge pull request #39641 from akien-mga/mono-always-define-options
Mono: Always define options in main.cpp to keep them in docs
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions