diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2016-12-22 16:39:20 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-01-16 17:52:35 +0100 |
| commit | a15215f3e186b3080c23aaf2f6b049c52240a03c (patch) | |
| tree | 45ad53ae9d395bc06be7d5181b451d2bf8dd8e67 /docs/replay.txt | |
| parent | d6da1e9eca939e8f9d41639be17c4bf5af7d5625 (diff) | |
build: remove --enable-colo/--disable-colo
No need to provide this knob, so remove it and stubs/migration-colo.c.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs/replay.txt')
0 files changed, 0 insertions, 0 deletions