diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2021-11-08 10:16:01 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-12-10 09:47:18 +0100 |
| commit | cbe08c35cfa8f96125512a8aa3e1bf251b1410a5 (patch) | |
| tree | a2dd230005d0ce082b4194086bd8aeebe65d9bc5 /docs | |
| parent | d1889b36098c79e2e6ac90faf3d0dc5ec0057677 (diff) | |
configure: remove dead variables
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions