diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-04 13:46:11 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-04 13:46:54 +0100 |
commit | e619727e999ecd8e6883330f2c6950cd0624de99 (patch) | |
tree | d32cf453323927064ebb095a9277fda14f773d56 /editor/editor_plugin.h | |
parent | 184b2fe21bbc5fcd3c577ca6d079f6f5f70b7943 (diff) |
SCons: Fix linking system pcre2 on server platform
Fixes #17245.
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions