git.annexia.org / virt-mem.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
virt-uname command done.
[virt-mem.git] / lib /
drwxr-xr-x   ..
-rw-r--r-- 716 .depend blob | history | raw
-rw-r--r-- 1894 Makefile.in blob | history | raw
-rw-r--r-- 17662 virt_mem.ml blob | history | raw
-rw-r--r-- 1679 virt_mem.mli blob | history | raw
-rw-r--r-- 9062 virt_mem_mmap.ml blob | history | raw
-rw-r--r-- 4828 virt_mem_mmap.mli blob | history | raw
-rw-r--r-- 2795 virt_mem_utils.ml blob | history | raw
[OBSOLETE] Old version of virt-mem. Use virt-tools instead.