diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2019-06-21 15:51:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-21 15:51:11 +0200 |
| commit | f854088292ab1b8f4cc6b8052a5a53a39760a525 (patch) | |
| tree | 245ce419dca0fd8c8d870daec5b63132e8ad6747 /thirdparty/pcre2/src | |
| parent | 02319dceb2e17184eb765c67719a306f56dafc1b (diff) | |
| parent | 03335e5250535e351f3dc7b9018be143bf03a0fb (diff) | |
Merge pull request #29957 from Calinou/doc-improve-engine-version-info
Improve the `Engine.get_version_info()` documentation
Diffstat (limited to 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions