X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdepend;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fdepend;h=0000000000000000000000000000000000000000;hp=5991264c6dd6f2bb9ff58a3544f4419d71493f53;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/netstring/depend b/helm/DEVEL/pxp/netstring/depend
deleted file mode 100644
index 5991264c6..000000000
--- a/helm/DEVEL/pxp/netstring/depend
+++ /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