Change comments virt-manager -> virt-ctrl.
[virt-top.git] / virt-ctrl /
drwxr-xr-x   ..
-rw-r--r-- 914 .depend
-rw-r--r-- 2843 Makefile.in
-rwxr-xr-x 2024 mingw-gcc-wrapper.ml
-rw-r--r-- 11129 vc_connections.ml
-rw-r--r-- 1948 vc_connections.mli
-rw-r--r-- 3229 vc_domain_ops.ml
-rw-r--r-- 1222 vc_domain_ops.mli
-rw-r--r-- 3459 vc_helpers.ml
-rw-r--r-- 2253 vc_helpers.mli
-rw-r--r-- 5083 vc_mainwindow.ml
-rw-r--r-- 1384 vc_mainwindow.mli
-rw-r--r-- 1233 virt_ctrl.ml