mlvirtmanager renamed as virt-ctrl.
[virt-top.git] / virt-ctrl / vc_domain_ops.ml
2008-01-07 Richard W.M. Jonesmlvirtmanager renamed as virt-ctrl.