diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-11 09:07:04 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-21 06:30:41 -0400 |
commit | bac35bf5175fb16470a73492c23161e80361eeeb (patch) | |
tree | a2cfccf3eb75460b5c4eac42e233c30e1a8b475b /configure | |
parent | f8aa24ea9a82da38370470c6bc0eaa393999edfe (diff) |
docs: automatically track manual dependencies
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions