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.ml11129logstatsplain
-rw-r--r--vc_connections.mli1948logstatsplain
-rw-r--r--vc_domain_ops.ml3229logstatsplain
-rw-r--r--vc_domain_ops.mli1222logstatsplain
-rw-r--r--vc_helpers.ml3459logstatsplain
-rw-r--r--vc_helpers.mli2253logstatsplain
-rw-r--r--vc_mainwindow.ml5083logstatsplain
-rw-r--r--vc_mainwindow.mli1384logstatsplain
-rw-r--r--virt_ctrl.ml1233logstatsplain