]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxp/.depend
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / hxp / .depend
diff --git a/helm/hxp/.depend b/helm/hxp/.depend
deleted file mode 100644 (file)
index 7f855a4..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-hxpTop.cmo: hxpTypes.cmo hxpXML.cmo 
-hxpTop.cmx: hxpTypes.cmx hxpXML.cmx 
-hxpParser.cmo: hxpTypes.cmo hxpParser.cmi 
-hxpParser.cmx: hxpTypes.cmx hxpParser.cmi 
-hxpParser.cmi: hxpTypes.cmo 
-hxpLexer.cmo: hxpParser.cmi 
-hxpLexer.cmx: hxpParser.cmx 
-hxpXML.cmo: hxpLexer.cmo hxpParser.cmi hxpTypes.cmo 
-hxpXML.cmx: hxpLexer.cmx hxpParser.cmx hxpTypes.cmx