]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/netstring/depend
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / netstring / depend
diff --git a/helm/DEVEL/pxp/netstring/depend b/helm/DEVEL/pxp/netstring/depend
deleted file mode 100644 (file)
index 5991264..0000000
+++ /dev/null
@@ -1,36 +0,0 @@
-base64.cmo: netencoding.cmi base64.cmi 
-base64.cmx: netencoding.cmx base64.cmi 
-cgi.cmo: mimestring.cmi netbuffer.cmi netencoding.cmi netstream.cmi cgi.cmi 
-cgi.cmx: mimestring.cmx netbuffer.cmx netencoding.cmx netstream.cmx cgi.cmi 
-mimestring.cmo: netbuffer.cmi netencoding.cmi netstream.cmi netstring_str.cmi \
-    mimestring.cmi 
-mimestring.cmx: netbuffer.cmx netencoding.cmx netstream.cmx netstring_str.cmx \
-    mimestring.cmi 
-netbuffer.cmo: netbuffer.cmi 
-netbuffer.cmx: netbuffer.cmi 
-netconversion.cmo: netmappings.cmi netconversion.cmi 
-netconversion.cmx: netmappings.cmx netconversion.cmi 
-netencoding.cmo: netstring_str.cmi netencoding.cmi 
-netencoding.cmx: netstring_str.cmx netencoding.cmi 
-nethtml.cmo: nethtml.cmi 
-nethtml.cmx: nethtml.cmi 
-netmappings.cmo: netmappings.cmi 
-netmappings.cmx: netmappings.cmi 
-netmappings_iso.cmo: netmappings.cmi 
-netmappings_iso.cmx: netmappings.cmx 
-netmappings_other.cmo: netmappings.cmi 
-netmappings_other.cmx: netmappings.cmx 
-netstream.cmo: netbuffer.cmi netstream.cmi 
-netstream.cmx: netbuffer.cmx netstream.cmi 
-netstring_mt.cmo: cgi.cmi netmappings.cmi netstring_str.cmi netstring_mt.cmi 
-netstring_mt.cmx: cgi.cmx netmappings.cmx netstring_str.cmx netstring_mt.cmi 
-netstring_str.cmo: netstring_str.cmi 
-netstring_str.cmx: netstring_str.cmi 
-netstring_top.cmo: netstring_top.cmi 
-netstring_top.cmx: netstring_top.cmi 
-neturl.cmo: netencoding.cmi neturl.cmi 
-neturl.cmx: netencoding.cmx neturl.cmi 
-cgi.cmi: netstream.cmi 
-mimestring.cmi: netstream.cmi 
-netmappings.cmi: netconversion.cmi 
-netstream.cmi: netbuffer.cmi