diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-02 10:32:10 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-02 10:32:14 +0200 |
commit | 6c5e085d1317df8576b78f0f0ca90a2fff364664 (patch) | |
tree | f0feaa7877a3052ea63a1e553ac986d9634e6a4e /editor | |
parent | 9142904c248cb4c9de8776f9abe995fc22335c2c (diff) |
SCons: Enforce version 4.0+ when `compiledb=yes` is used
Fixes #65233.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions