]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_annotations/.depend
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / ocaml / cic_annotations / .depend
diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend
deleted file mode 100644 (file)
index 2c30fa7..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-cicXPath.cmo: cicXPath.cmi 
-cicXPath.cmx: cicXPath.cmi 
-cicAnnotation2Xml.cmo: cicXPath.cmi cicAnnotation2Xml.cmi 
-cicAnnotation2Xml.cmx: cicXPath.cmx cicAnnotation2Xml.cmi 
-cicAnnotationParser2.cmo: cicAnnotationParser2.cmi 
-cicAnnotationParser2.cmx: cicAnnotationParser2.cmi 
-cicAnnotationParser.cmo: cicAnnotationParser2.cmi cicAnnotationParser.cmi 
-cicAnnotationParser.cmx: cicAnnotationParser2.cmx cicAnnotationParser.cmi