X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2F.depend;fp=helm%2Focaml%2Fcic%2F.depend;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=591cea8dfe228a51de3cf22671a1e23a368792ec;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend deleted file mode 100644 index 591cea8df..000000000 --- a/helm/ocaml/cic/.depend +++ /dev/null @@ -1,12 +0,0 @@ -deannotate.cmi: cic.cmo -cicParser3.cmi: cic.cmo -cicParser2.cmi: cic.cmo cicParser3.cmi -cicParser.cmi: cic.cmo -deannotate.cmo: cic.cmo deannotate.cmi -deannotate.cmx: cic.cmx deannotate.cmi -cicParser3.cmo: cic.cmo cicParser3.cmi -cicParser3.cmx: cic.cmx cicParser3.cmi -cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi -cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi -cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi cicParser.cmi -cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi