Skip to content
Snippets Groups Projects
Select Git revision
  • master
1 result

Dockerfile

user avatar
Paolo Bonzini authored
Developer documentation should be its own manual.  As a start, move all
developer-oriented files to a separate directory.

Also move non-text files to their own directories: docs/config/ for
QEMU -readconfig input, and docs/spin/ for formal models to be used
with the SPIN model checker.

Reviewed-by: default avatarDaniel P. Berrange <berrange@redhat.com>
Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
ac06724a
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.