summaryrefslogtreecommitdiffstats
path: root/virt-ctrl/vc_domain_ops.mli
Commit message (Collapse)AuthorAgeFilesLines
* Change comments virt-manager -> virt-ctrl.Richard W.M. Jones2008-01-081-1/+1
| | | | | * virt-ctrl/*.ml, virt-ctrl/*.mli: Change comments virt-manager -> virt-ctrl.
* mlvirtmanager renamed as virt-ctrl.Richard W.M. Jones2008-01-071-0/+25
* .hgignore, Makefile.in, configure.ac: Rename mlvirtmanager as virt-ctrl to avoid any confusion with the real virt-manager. * mlvirtmanager/, virt-ctrl/: Subdirectory moved. * README: Supporting documentation updated.