drwxr-xr-x | .. | ||
-rw-r--r-- | 1320 | .depend | blob | history | raw |
-rw-r--r-- | 1938 | Makefile.in | blob | history | raw |
-rw-r--r-- | 1304 | mlvirtmanager.ml | blob | history | raw |
-rw-r--r-- | 11145 | mlvirtmanager_connections.ml | blob | history | raw |
-rw-r--r-- | 1953 | mlvirtmanager_connections.mli | blob | history | raw |
-rw-r--r-- | 3256 | mlvirtmanager_domain_ops.ml | blob | history | raw |
-rw-r--r-- | 1271 | mlvirtmanager_domain_ops.mli | blob | history | raw |
-rw-r--r-- | 3464 | mlvirtmanager_helpers.ml | blob | history | raw |
-rw-r--r-- | 2258 | mlvirtmanager_helpers.mli | blob | history | raw |
-rw-r--r-- | 5130 | mlvirtmanager_mainwindow.ml | blob | history | raw |
-rw-r--r-- | 1433 | mlvirtmanager_mainwindow.mli | blob | history | raw |