]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/urimanager/.depend
Release 0.5.9.
[helm.git] / helm / software / components / urimanager / .depend
index 9cac9aa783c7c003e70e118017c77b20d2ccb61a..4821484239ac15df403da8d9123671544b3aa65f 100644 (file)
@@ -1,3 +1,2 @@
-uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi