mlvirtmanager renamed as virt-ctrl.
[virt-top.git] / virt-ctrl /
drwxr-xr-x   ..
-rw-r--r-- 914 .depend
-rw-r--r-- 2403 Makefile.in
-rw-r--r-- 11134 vc_connections.ml
-rw-r--r-- 1953 vc_connections.mli
-rw-r--r-- 3234 vc_domain_ops.ml
-rw-r--r-- 1227 vc_domain_ops.mli
-rw-r--r-- 3464 vc_helpers.ml
-rw-r--r-- 2258 vc_helpers.mli
-rw-r--r-- 5108 vc_mainwindow.ml
-rw-r--r-- 1389 vc_mainwindow.mli
-rw-r--r-- 1238 virt_ctrl.ml