]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/whelp/.depend
Release 0.5.9.
[helm.git] / helm / software / components / whelp / .depend
index 65dc079553f6476748ecdb106d61534fa746d753..39f37dfa90077f1212c1f51f57ef8c55a21174c7 100644 (file)
@@ -1,5 +1,3 @@
-whelp.cmi: 
-fwdQueries.cmi: 
 whelp.cmo: whelp.cmi 
 whelp.cmx: whelp.cmi 
 fwdQueries.cmo: fwdQueries.cmi