summaryrefslogtreecommitdiffstats
path: root/virt-ctrl
ModeNameSize
-rw-r--r--.depend914logstatsplain
-rw-r--r--Makefile.in2843logstatsplain
-rwxr-xr-xmingw-gcc-wrapper.ml2024logstatsplain
-rw-r--r--vc_connections.ml11134logstatsplain
-rw-r--r--vc_connections.mli1953logstatsplain
-rw-r--r--vc_domain_ops.ml3234logstatsplain
-rw-r--r--vc_domain_ops.mli1227logstatsplain
-rw-r--r--vc_helpers.ml3464logstatsplain
-rw-r--r--vc_helpers.mli2258logstatsplain
-rw-r--r--vc_mainwindow.ml5088logstatsplain
-rw-r--r--vc_mainwindow.mli1389logstatsplain
-rw-r--r--virt_ctrl.ml1238logstatsplain