diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-17 07:54:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-17 07:54:18 +0200 |
| commit | dfe2630b41ff389cf38af4461441def931d37d8a (patch) | |
| tree | 91b490c184865ebfea88ec5101556f9ba838254c /thirdparty/pcre2 | |
| parent | de83ee57e5bb0e4fb494455a98d597d76289d321 (diff) | |
| parent | 38578a80956141cc7358b9d1a45a8154dc3f0e3e (diff) | |
Merge pull request #50513 from Geometror/displayserver-add-override
Modernize display_server_... headers and make style consistent (use override keyword)
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions