From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 24 Mar 2010 17:27:01 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~2970
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=045164bedc08a84f406151764527c4b72407b9fb;hp=33a4938d5ce3a5c240c0d35b6362c8072f8ba482;p=helm.git

...

From: sacerdot <sacerdot@c2b2084f-9a08-0410-b176-e24b037a169a>
---

diff --git a/helm/software/components/binaries/extractor/.depend b/helm/software/components/binaries/extractor/.depend
index e69de29bb..0c39328ae 100644
--- a/helm/software/components/binaries/extractor/.depend
+++ b/helm/software/components/binaries/extractor/.depend
@@ -0,0 +1,4 @@
+extractor.cmo: 
+extractor.cmx: 
+extractor_manager.cmo: 
+extractor_manager.cmx: 
diff --git a/helm/software/components/binaries/extractor/.depend.opt b/helm/software/components/binaries/extractor/.depend.opt
index e69de29bb..0c39328ae 100644
--- a/helm/software/components/binaries/extractor/.depend.opt
+++ b/helm/software/components/binaries/extractor/.depend.opt
@@ -0,0 +1,4 @@
+extractor.cmo: 
+extractor.cmx: 
+extractor_manager.cmo: 
+extractor_manager.cmx: 
diff --git a/helm/software/components/binaries/table_creator/.depend b/helm/software/components/binaries/table_creator/.depend
index e69de29bb..33147b949 100644
--- a/helm/software/components/binaries/table_creator/.depend
+++ b/helm/software/components/binaries/table_creator/.depend
@@ -0,0 +1,2 @@
+table_creator.cmo: 
+table_creator.cmx: 
diff --git a/helm/software/components/binaries/table_creator/.depend.opt b/helm/software/components/binaries/table_creator/.depend.opt
index e69de29bb..33147b949 100644
--- a/helm/software/components/binaries/table_creator/.depend.opt
+++ b/helm/software/components/binaries/table_creator/.depend.opt
@@ -0,0 +1,2 @@
+table_creator.cmo: 
+table_creator.cmx: