diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-10-14 12:43:38 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-10-14 12:43:38 +0200 |
| commit | ad5f7bf6f72f6e1ff512b29eaa843b0dae58d931 (patch) | |
| tree | 7109601047e26ef2389d3acbf3285faed3b76c52 /docs | |
| parent | 6862ac56cb1c1a29bad3e872b45386774c8edd58 (diff) | |
tests: remove deprecated -Cinline-threshold.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions