whelp and cic disambiguation removed

[helm.git] / matita / components / whelp / .depend

diff --git a/matita/components/whelp/.depend b/matita/components/whelp/.depend
deleted file mode 100644 (file)
index 65dc079..0000000
--- a/matita/components/whelp/.depend
+++ /dev/null
@@ -1,6 +0,0 @@
-whelp.cmi: 
-fwdQueries.cmi: 
-whelp.cmo: whelp.cmi 
-whelp.cmx: whelp.cmi 
-fwdQueries.cmo: fwdQueries.cmi 
-fwdQueries.cmx: fwdQueries.cmi