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