]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/urimanager/.depend
1) Include files for NG were neither recursively processes nor accumulated.
[helm.git] / helm / software / components / urimanager / .depend
index 4821484239ac15df403da8d9123671544b3aa65f..9cac9aa783c7c003e70e118017c77b20d2ccb61a 100644 (file)
@@ -1,2 +1,3 @@
+uriManager.cmi: 
 uriManager.cmo: uriManager.cmi 
 uriManager.cmx: uriManager.cmi