summaryrefslogtreecommitdiffstats
path: root/virt-ctrl
ModeNameSize
-rw-r--r--.depend913logstatsplain
-rw-r--r--Makefile.in2843logstatsplain
-rwxr-xr-xmingw-gcc-wrapper.ml2024logstatsplain
-rw-r--r--vc_connections.ml11792logstatsplain
-rw-r--r--vc_connections.mli1954logstatsplain
-rw-r--r--vc_domain_ops.ml3331logstatsplain
-rw-r--r--vc_domain_ops.mli1290logstatsplain
-rw-r--r--vc_helpers.ml3459logstatsplain
-rw-r--r--vc_helpers.mli2253logstatsplain
-rw-r--r--vc_mainwindow.ml5083logstatsplain
-rw-r--r--vc_mainwindow.mli1210logstatsplain
-rw-r--r--virt_ctrl.ml1233logstatsplain