X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=MANIFEST;h=3b4557cb14219f5ec4b59cf711436b930ef1a3e3;hp=945b3a12d21b5cb40425c569172967592ac6e534;hb=ea6e92afe6c21810d9461261b4b741cd80c9a6dc;hpb=898c12fcca817229061fbe50b88651328ea4ec03 diff --git a/MANIFEST b/MANIFEST index 945b3a1..3b4557c 100644 --- a/MANIFEST +++ b/MANIFEST @@ -4,8 +4,10 @@ COPYING dmesg/.depend dmesg/Makefile.in dmesg/virt_dmesg.ml +extract/codegen/.depend extract/codegen/kerneldb_to_parser.ml extract/codegen/Makefile.in +extract/fedora-koji/.depend extract/fedora-koji/fedora_koji_download_kernels.ml extract/fedora-koji/Makefile.in extract/README @@ -29,6 +31,8 @@ lib/virt_mem.mli lib/virt_mem_mmap.ml lib/virt_mem_mmap.mli lib/virt_mem_mmap_c.c +lib/virt_mem_tasks.ml +lib/virt_mem_tasks.mli lib/virt_mem_types.ml lib/virt_mem_types.mli lib/virt_mem_utils.ml