diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2024-06-20 14:57:30 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2024-06-28 14:44:51 +0200 |
| commit | b3f1ce8a472e7239b196bcb3aaa38738012f23b5 (patch) | |
| tree | 38c2d19a500c4374526c3bd3c64e09698808aa8a /include | |
| parent | ef7d1adfa8589bb7d6cb06463bf554877e086beb (diff) | |
meson: remove dead optimization option
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions