1 commit

Author	SHA1	Message	Date
Paolo Bonzini	ac06724a71	docs: create config/, devel/ and spin/ subdirectories ... 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: Daniel P. Berrange <berrange@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>	2017-06-07 18:22:03 +02:00

Renamed from docs/aio_notify.promela (Browse further)