git.annexia.org / virt-mem.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Don't just delete text symbols.
[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-- 17644 virt_mem.ml blob | history | raw
-rw-r--r-- 1679 virt_mem.mli blob | history | raw
-rw-r--r-- 9694 virt_mem_mmap.ml blob | history | raw
-rw-r--r-- 5226 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.