summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-09-02 10:32:10 +0200
committerRémi Verschelde <rverschelde@gmail.com>2022-09-02 10:32:14 +0200
commit6c5e085d1317df8576b78f0f0ca90a2fff364664 (patch)
treef0feaa7877a3052ea63a1e553ac986d9634e6a4e /doc
parent9142904c248cb4c9de8776f9abe995fc22335c2c (diff)
SCons: Enforce version 4.0+ when `compiledb=yes` is used
Fixes #65233.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions