mlvirtmanager renamed as virt-ctrl.

[virt-top.git] / virt-ctrl / vc_domain_ops.mli

diff --git a/mlvirtmanager/mlvirtmanager_domain_ops.mli b/virt-ctrl/vc_domain_ops.mli
old mode 100755 (executable)
new mode 100644 (file)
similarity index 67%
rename from mlvirtmanager/mlvirtmanager_domain_ops.mli
rename to virt-ctrl/vc_domain_ops.mli
index fd1bfc9..0b8e2b7
--- a/mlvirtmanager/mlvirtmanager_domain_ops.mli
+++ b/virt-ctrl/vc_domain_ops.mli
@@ -19,7 +19,7 @@
    Domain operations buttons.
 *)
 
-val start_domain : GTree.view -> GTree.tree_store -> Mlvirtmanager_connections.columns -> unit -> unit
-val pause_domain : GTree.view -> GTree.tree_store -> Mlvirtmanager_connections.columns -> unit -> unit
-val resume_domain : GTree.view -> GTree.tree_store -> Mlvirtmanager_connections.columns -> unit -> unit
-val shutdown_domain : GTree.view -> GTree.tree_store -> Mlvirtmanager_connections.columns -> unit -> unit
+val start_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
+val pause_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
+val resume_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit
+val shutdown_domain : GTree.view -> GTree.tree_store -> Vc_connections.columns -> unit -> unit