]> matita.cs.unibo.it Git - helm.git/blobdiff - components/whelp/.depend.opt
branch for universe
[helm.git] / components / whelp / .depend.opt
diff --git a/components/whelp/.depend.opt b/components/whelp/.depend.opt
new file mode 100644 (file)
index 0000000..39f37df
--- /dev/null
@@ -0,0 +1,4 @@
+whelp.cmo: whelp.cmi 
+whelp.cmx: whelp.cmi 
+fwdQueries.cmo: fwdQueries.cmi 
+fwdQueries.cmx: fwdQueries.cmi