diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-17 13:38:52 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-17 13:38:52 +0100 |
| commit | 2e6501d879105acd7355393838dc2930d533b768 (patch) | |
| tree | 54503742d17915e7e16c9c7993984e3e6a742cb6 /thirdparty/pcre2 | |
| parent | 623f7b64ae7ab075fe9cc7f5b7b2c777e774f81d (diff) | |
Add hex-encoded version number to Engine singleton for easy comparisons
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions