]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/hgdome/.depend
dependences update
[helm.git] / helm / software / components / hgdome / .depend
index 072d9697ac67fab4c4d0dffd6321082b1022c444..97bb059a83c14479f21c07b4d6c3482e6f144fd9 100644 (file)
@@ -1,6 +1,6 @@
-domMisc.cmi
-xml2Gdome.cmi
-domMisc.cmo: domMisc.cmi 
-domMisc.cmx: domMisc.cmi 
-xml2Gdome.cmo: xml2Gdome.cmi 
-xml2Gdome.cmx: xml2Gdome.cmi 
+domMisc.cmi :
+xml2Gdome.cmi :
+domMisc.cmo : domMisc.cmi
+domMisc.cmx : domMisc.cmi
+xml2Gdome.cmo : xml2Gdome.cmi
+xml2Gdome.cmx : xml2Gdome.cmi