diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-12-14 11:34:47 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-01-02 21:03:09 +0100 |
| commit | c035c8d6f54ce10a350e0b6cee558075d1f42f9c (patch) | |
| tree | a4eca556462f79d77767c6fa0290b0a51ddf576d /linux-headers/README | |
| parent | 90e0c9b3097c861bda9499cd8a5c2f88fc7f859e (diff) | |
configure: document --without-default-{features,devices}
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'linux-headers/README')
0 files changed, 0 insertions, 0 deletions