Stuff moved from old Matita.

[helm.git] / matita / components / xml / .depend.opt

diff --git a/matita/components/xml/.depend.opt b/matita/components/xml/.depend.opt
new file mode 100644 (file)
index 0000000..e7e7ffb
--- /dev/null
+++ b/matita/components/xml/.depend.opt
@@ -0,0 +1,6 @@
+xml.cmi: 
+xmlPushParser.cmi: 
+xml.cmo: xml.cmi 
+xml.cmx: xml.cmi 
+xmlPushParser.cmo: xmlPushParser.cmi 
+xmlPushParser.cmx: xmlPushParser.cmi