summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--MANIFEST1
1 files changed, 1 insertions, 0 deletions
diff --git a/MANIFEST b/MANIFEST
index 85bc50f..9672dba 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -27,6 +27,7 @@ mlvirsh/Makefile.in
mlvirsh/mlvirsh.ml
virt-ctrl/.depend
virt-ctrl/Makefile.in
+virt-ctrl/mingw-gcc-wrapper.ml
virt-ctrl/vc_connections.ml
virt-ctrl/vc_connections.mli
virt-ctrl/vc_domain_ops.ml